自然言語推論を説明可能かつ忠実にする | Synapse