まにょまゆLv.71事件は生じない
fact1: 取っ付き難いということは「まにょまゆLv.71事件は生じないけれどどでかいということが起きる」ということに防がれる fact2: ぴにゃぴちゃLv.13事件が起こる fact3: 取っ付き難いということはまにょまゆLv.71事件に帰結する fact4: もし仮に「まにょまゆLv.71事件とぽちょぽちょLv.82事件どちらもが発生する」ということは成り立たないとしたらまにょまゆLv.71事件は生じない fact5: ぽちょぽちょLv.82事件は「取っ付き難いということは起きない」ということを防ぐ fact6: 「ぽちょぽちょLv.82事件が発生する」ということは確かだ
fact5 & fact6 -> int1: 取っ付き難いということが発生する; int1 & fact3 -> hypothesis;
fact5 & fact6 -> int1: {B}; int1 & fact3 -> hypothesis;
まにょまゆLv.71事件は生じない
$facts$ = fact1: 取っ付き難いということは「まにょまゆLv.71事件は生じないけれどどでかいということが起きる」ということに防がれる fact2: ぴにゃぴちゃLv.13事件が起こる fact3: 取っ付き難いということはまにょまゆLv.71事件に帰結する fact4: もし仮に「まにょまゆLv.71事件とぽちょぽちょLv.82事件どちらもが発生する」ということは成り立たないとしたらまにょまゆLv.71事件は生じない fact5: ぽちょぽちょLv.82事件は「取っ付き難いということは起きない」ということを防ぐ fact6: 「ぽちょぽちょLv.82事件が発生する」ということは確かだ ; $hypothesis$ = まにょまゆLv.71事件は生じない ; $proof$ = 
fact5 & fact6 -> int1: 取っ付き難いということが発生する; int1 & fact3 -> hypothesis; __DISPROVED__
fact5 & fact6 -> int1: {B}; int1 & fact3 -> hypothesis; __DISPROVED__