事前に、すべての論理式を入力しておく必要があるってことかい
自然言語から、勝手にくみ取ることはできないの