「取っ付き易いということではなくまにゅまちょLv.95事件が起こる」ということは間違いだ
fact1: えげつないということは取っ付き易いということを阻む fact2: もしも「感慨深いということが起こるかまたは鈍いということが生じるかあるいは両方ともだ」ということは真実なら「もやもにゅLv.82事件は起こらない」ということは事実だ fact3: ぴちゃぴやLv.6事件が発生する fact4: 取っ付き易いということは「どでかいということが起きるかもしくはえげつないということが生じる」ということに阻止される fact5: もし「しょっぱいということは起こらない」ということは真実であるならしょっぱいということは起きなくてまちょまちょLv.11事件が発生する fact6: 焦げ臭いということが生じるということは波打つことを阻む fact7: どでかいということが発生する fact8: 「取っ付き易いということではなくてまにゅまちょLv.95事件が生じる」ということは「取っ付き易いということは起きない」ということに由来する
fact7 -> int1: どでかいということが起きるかもしくはえげつないということが起きるかあるいは両方である; int1 & fact4 -> int2: 取っ付き易いということは起きない; int2 & fact8 -> hypothesis;
fact7 -> int1: ({A} v {B}); int1 & fact4 -> int2: ¬{C}; int2 & fact8 -> hypothesis;
$facts$ = fact1: えげつないということは取っ付き易いということを阻む fact2: もしも「感慨深いということが起こるかまたは鈍いということが生じるかあるいは両方ともだ」ということは真実なら「もやもにゅLv.82事件は起こらない」ということは事実だ fact3: ぴちゃぴやLv.6事件が発生する fact4: 取っ付き易いということは「どでかいということが起きるかもしくはえげつないということが生じる」ということに阻止される fact5: もし「しょっぱいということは起こらない」ということは真実であるならしょっぱいということは起きなくてまちょまちょLv.11事件が発生する fact6: 焦げ臭いということが生じるということは波打つことを阻む fact7: どでかいということが発生する fact8: 「取っ付き易いということではなくてまにゅまちょLv.95事件が生じる」ということは「取っ付き易いということは起きない」ということに由来する ; $hypothesis$ = 「取っ付き易いということではなくまにゅまちょLv.95事件が起こる」ということは間違いだ ; $proof$ = 
fact7 -> int1: どでかいということが起きるかもしくはえげつないということが起きるかあるいは両方である; int1 & fact4 -> int2: 取っ付き易いということは起きない; int2 & fact8 -> hypothesis; __DISPROVED__
fact7 -> int1: ({A} v {B}); int1 & fact4 -> int2: ¬{C}; int2 & fact8 -> hypothesis; __DISPROVED__