すーごいということが生じる
fact1: もなもいLv.50事件がもちゃもにょLv.6事件および考え易いということは発生するに阻止される fact2: 仮にもなもいLv.50事件は起こらないならばすーごいということは起こらなくてその上憎いということは起こらない fact3: 考え易いということが発生する fact4: もにもにょLv.87事件ともちゃもにょLv.6事件が発生する
fact4 -> int1: もちゃもにょLv.6事件が生じる; int1 & fact3 -> int2: もちゃもにょLv.6事件および考え易いということが起きる; int2 & fact1 -> int3: もなもいLv.50事件は生じない; int3 & fact2 -> int4: すーごいということは生じなくてそれに憎いということは発生しない; int4 -> hypothesis;
fact4 -> int1: {B}; int1 & fact3 -> int2: ({B} & {C}); int2 & fact1 -> int3: ¬{D}; int3 & fact2 -> int4: (¬{F} & ¬{E}); int4 -> hypothesis;
$facts$ = fact1: もなもいLv.50事件がもちゃもにょLv.6事件および考え易いということは発生するに阻止される fact2: 仮にもなもいLv.50事件は起こらないならばすーごいということは起こらなくてその上憎いということは起こらない fact3: 考え易いということが発生する fact4: もにもにょLv.87事件ともちゃもにょLv.6事件が発生する ; $hypothesis$ = すーごいということが生じる ; $proof$ = 
fact4 -> int1: もちゃもにょLv.6事件が生じる; int1 & fact3 -> int2: もちゃもにょLv.6事件および考え易いということが起きる; int2 & fact1 -> int3: もなもいLv.50事件は生じない; int3 & fact2 -> int4: すーごいということは生じなくてそれに憎いということは発生しない; int4 -> hypothesis; __DISPROVED__
fact4 -> int1: {B}; int1 & fact3 -> int2: ({B} & {C}); int2 & fact1 -> int3: ¬{D}; int3 & fact2 -> int4: (¬{F} & ¬{E}); int4 -> hypothesis; __DISPROVED__