「訝しいということとまいまちゃLv.35事件が起こる」ということは嘘だ
fact1: 「まいまちゃLv.35事件は生じない」ということは「ぽなぽやLv.47事件が生じる一方でぽのぽのLv.65事件は起きない」ということに引き起こされる fact2: まいまちゃLv.35事件が起こる fact3: ぷいぷにゃLv.29事件および住み難いということが発生する fact4: 捕まえ易いということが生じるしその上三泊することが生じる fact5: もし住み難いということは起こらないとするとぷくぷゆLv.38事件およびぷいぷにゃLv.29事件両方ともが起きる fact6: ぽなぽやLv.47事件が起こる fact7: 住み難いということは訝しいということは生じないということを阻止する fact8: もし三泊することおよび引き易いということが起きるとしたらぽのぽのLv.65事件は生じない
fact3 -> int1: 住み難いということが発生する; int1 & fact7 -> int2: 訝しいということが起きる; int2 & fact2 -> hypothesis;
fact3 -> int1: {B}; int1 & fact7 -> int2: {C}; int2 & fact2 -> hypothesis;
ぷくぷゆLv.38事件が起きる
fact13 -> int3: 三泊することが起こる;
$facts$ = fact1: 「まいまちゃLv.35事件は生じない」ということは「ぽなぽやLv.47事件が生じる一方でぽのぽのLv.65事件は起きない」ということに引き起こされる fact2: まいまちゃLv.35事件が起こる fact3: ぷいぷにゃLv.29事件および住み難いということが発生する fact4: 捕まえ易いということが生じるしその上三泊することが生じる fact5: もし住み難いということは起こらないとするとぷくぷゆLv.38事件およびぷいぷにゃLv.29事件両方ともが起きる fact6: ぽなぽやLv.47事件が起こる fact7: 住み難いということは訝しいということは生じないということを阻止する fact8: もし三泊することおよび引き易いということが起きるとしたらぽのぽのLv.65事件は生じない ; $hypothesis$ = 「訝しいということとまいまちゃLv.35事件が起こる」ということは嘘だ ; $proof$ = 
fact3 -> int1: 住み難いということが発生する; int1 & fact7 -> int2: 訝しいということが起きる; int2 & fact2 -> hypothesis; __DISPROVED__
fact3 -> int1: {B}; int1 & fact7 -> int2: {C}; int2 & fact2 -> hypothesis; __DISPROVED__