辛気臭いということは起こらない
fact1: 「弛いということではなくて訝しいということが起きる」ということは間違いだ fact2: もし仮にみいみにゃLv.58事件は発生しないとすると辛気臭いということが起きるしぽちょぽちょLv.35事件が起こる fact3: 「弛いということは発生しないししかも訝しいということは発生しない」ということは誤っている fact4: もし「弛いということは発生しなくて訝しいということは起きない」ということは偽なら辛気臭いということは起きない fact5: 仮に「まにゃまにLv.50事件は起こらないしもよもえLv.56事件は発生しない」ということは誤りならば考えることは生じない fact6: 「「窘めることは発生しないしそれに騒々しいということは生じない」ということは事実と異なる」ということは成り立つ fact7: 「弛いということが生じるが訝しいということは起きない」ということは誤りである
fact3 -> int1: 「弛いということは発生しないししかも訝しいということは発生しない」ということは誤っている; int1 & fact4 -> hypothesis;
fact3 -> int1: ¬(¬{AA} & ¬{AB}); int1 & fact4 -> hypothesis;
辛気臭いということが発生する
$facts$ = fact1: 「弛いということではなくて訝しいということが起きる」ということは間違いだ fact2: もし仮にみいみにゃLv.58事件は発生しないとすると辛気臭いということが起きるしぽちょぽちょLv.35事件が起こる fact3: 「弛いということは発生しないししかも訝しいということは発生しない」ということは誤っている fact4: もし「弛いということは発生しなくて訝しいということは起きない」ということは偽なら辛気臭いということは起きない fact5: 仮に「まにゃまにLv.50事件は起こらないしもよもえLv.56事件は発生しない」ということは誤りならば考えることは生じない fact6: 「「窘めることは発生しないしそれに騒々しいということは生じない」ということは事実と異なる」ということは成り立つ fact7: 「弛いということが生じるが訝しいということは起きない」ということは誤りである ; $hypothesis$ = 辛気臭いということは起こらない ; $proof$ = 
fact3 -> int1: 「弛いということは発生しないししかも訝しいということは発生しない」ということは誤っている; int1 & fact4 -> hypothesis; __PROVED__
fact3 -> int1: ¬(¬{AA} & ¬{AB}); int1 & fact4 -> hypothesis; __PROVED__