「まにまにゃLv.44事件および煙たいということが起きる」ということは誤りである
fact1: 「煙たいということが起こる」ということは事実だ fact2: まにまにゃLv.44事件が発生する fact3: ぽちゅぽのLv.58事件とまにまにゃLv.44事件が起きるは煙たいということは発生しないということがきっかけである fact4: 仮に結び付き易いということと渋いということが起きるとすると煙たいということは発生しない
fact2 -> int1: まにまにゃLv.44事件が発生する; int1 & fact1 -> hypothesis;
fact2 -> int1: {A}; int1 & fact1 -> hypothesis;
「ぽちゅぽのLv.58事件が起きる」ということは事実である
$facts$ = fact1: 「煙たいということが起こる」ということは事実だ fact2: まにまにゃLv.44事件が発生する fact3: ぽちゅぽのLv.58事件とまにまにゃLv.44事件が起きるは煙たいということは発生しないということがきっかけである fact4: 仮に結び付き易いということと渋いということが起きるとすると煙たいということは発生しない ; $hypothesis$ = 「まにまにゃLv.44事件および煙たいということが起きる」ということは誤りである ; $proof$ = 
fact2 -> int1: まにまにゃLv.44事件が発生する; int1 & fact1 -> hypothesis; __DISPROVED__
fact2 -> int1: {A}; int1 & fact1 -> hypothesis; __DISPROVED__