嫌味ったらしいということは発生しない
fact1: 打っ倒れることが起こる fact2: 因ることが起こる fact3: 仮に名残惜しいということは生じないとすれば「嫌味ったらしいということが起こるが打っ倒れることは発生しない」ということは嘘だ
fact1 -> int1: 打っ倒れることが起こる;
fact1 -> int1: {A};
嫌味ったらしいということは発生しない
$facts$ = fact1: 打っ倒れることが起こる fact2: 因ることが起こる fact3: 仮に名残惜しいということは生じないとすれば「嫌味ったらしいということが起こるが打っ倒れることは発生しない」ということは嘘だ ; $hypothesis$ = 嫌味ったらしいということは発生しない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__