「みにゃみちゅLv.17事件が起きるかもしくは舞い落ちることが起きるか両方ともである」ということは成り立たない
fact1: 言い出し難いということが発生するかふてぶてしいということが起こる fact2: 舞い落ちることが起きるししかも好ましいということが生じる fact3: まにょまゆLv.55事件が起きるしおまけに鋭いということが生じる fact4: ぷにゅぷよLv.38事件が発生するしもなもにょLv.70事件が起こる fact5: 「忌ま忌ましいということおよびまちょまなLv.88事件が生じる」ということは本当である
fact2 -> int1: 舞い落ちることが起こる; int1 -> hypothesis;
fact2 -> int1: {A}; int1 -> hypothesis;
$facts$ = fact1: 言い出し難いということが発生するかふてぶてしいということが起こる fact2: 舞い落ちることが起きるししかも好ましいということが生じる fact3: まにょまゆLv.55事件が起きるしおまけに鋭いということが生じる fact4: ぷにゅぷよLv.38事件が発生するしもなもにょLv.70事件が起こる fact5: 「忌ま忌ましいということおよびまちょまなLv.88事件が生じる」ということは本当である ; $hypothesis$ = 「みにゃみちゅLv.17事件が起きるかもしくは舞い落ちることが起きるか両方ともである」ということは成り立たない ; $proof$ = 
fact2 -> int1: 舞い落ちることが起こる; int1 -> hypothesis; __DISPROVED__
fact2 -> int1: {A}; int1 -> hypothesis; __DISPROVED__