「ぴわぴゆLv.11事件と語り尽くせること両方ともが起こる」ということは成り立つ
fact1: 頑是無いということは珍しいということにより発生する fact2: 語り尽くせることが起こる fact3: 仮に珍しいということが生じるとしたら頑是無いということが起こるし小汚いということは起きない fact4: ぴわぴゆLv.11事件は生じないということは「頑是無いということが発生する一方で小汚いということは発生しない」ということに阻止される fact5: まにまにゃLv.29事件と珍しいということが起きる fact6: まにまにゃLv.29事件が生じる
fact5 -> int1: 珍しいということが発生する; fact3 & int1 -> int2: 頑是無いということが発生するが小汚いということは起きない; int2 & fact4 -> int3: ぴわぴゆLv.11事件が起こる; int3 & fact2 -> hypothesis;
fact5 -> int1: {A}; fact3 & int1 -> int2: ({AA} & ¬{AB}); int2 & fact4 -> int3: {B}; int3 & fact2 -> hypothesis;
$facts$ = fact1: 頑是無いということは珍しいということにより発生する fact2: 語り尽くせることが起こる fact3: 仮に珍しいということが生じるとしたら頑是無いということが起こるし小汚いということは起きない fact4: ぴわぴゆLv.11事件は生じないということは「頑是無いということが発生する一方で小汚いということは発生しない」ということに阻止される fact5: まにまにゃLv.29事件と珍しいということが起きる fact6: まにまにゃLv.29事件が生じる ; $hypothesis$ = 「ぴわぴゆLv.11事件と語り尽くせること両方ともが起こる」ということは成り立つ ; $proof$ = 
fact5 -> int1: 珍しいということが発生する; fact3 & int1 -> int2: 頑是無いということが発生するが小汚いということは起きない; int2 & fact4 -> int3: ぴわぴゆLv.11事件が起こる; int3 & fact2 -> hypothesis; __PROVED__
fact5 -> int1: {A}; fact3 & int1 -> int2: ({AA} & ¬{AB}); int2 & fact4 -> int3: {B}; int3 & fact2 -> hypothesis; __PROVED__