「ぷにぷえLv.45事件は起きない」ということは誤っていない
fact1: もよもいLv.82事件はぷにぷえLv.45事件の原因となる fact2: もし仮にぴやぴくLv.94事件は起きないなら「「散見出来ることではなくてまわまわLv.27事件が発生する」ということは真実だ」ということは事実と異なる fact3: 「散見出来ることではなくてまわまわLv.27事件が生じる」ということは事実でないとしたらもよもいLv.82事件が起こる fact4: ぴやぴくLv.94事件は発生しない
fact2 & fact4 -> int1: 「散見出来ることではなくてまわまわLv.27事件が生じる」ということは事実と異なる; int1 & fact3 -> int2: もよもいLv.82事件が起こる; int2 & fact1 -> hypothesis;
fact2 & fact4 -> int1: ¬(¬{AA} & {AB}); int1 & fact3 -> int2: {B}; int2 & fact1 -> hypothesis;
$facts$ = fact1: もよもいLv.82事件はぷにぷえLv.45事件の原因となる fact2: もし仮にぴやぴくLv.94事件は起きないなら「「散見出来ることではなくてまわまわLv.27事件が発生する」ということは真実だ」ということは事実と異なる fact3: 「散見出来ることではなくてまわまわLv.27事件が生じる」ということは事実でないとしたらもよもいLv.82事件が起こる fact4: ぴやぴくLv.94事件は発生しない ; $hypothesis$ = 「ぷにぷえLv.45事件は起きない」ということは誤っていない ; $proof$ = 
fact2 & fact4 -> int1: 「散見出来ることではなくてまわまわLv.27事件が生じる」ということは事実と異なる; int1 & fact3 -> int2: もよもいLv.82事件が起こる; int2 & fact1 -> hypothesis; __DISPROVED__
fact2 & fact4 -> int1: ¬(¬{AA} & {AB}); int1 & fact3 -> int2: {B}; int2 & fact1 -> hypothesis; __DISPROVED__