我們想要一個不含人類因素在內的機器/機制來處理statement是真或是假<->不要做夢 因為判斷statement是真或是假的就是人,所以不可以拿著技術大旗搖來搖去說我們很中立沒有立場,這是掩耳盜鈴