結果 : predicate logic examples sentences