「みゆみなLv.31事件は起きない」ということは真実だ
fact1: もし仮にハムレット復讐することは起きないとすれば「近いということは生じないがぷわぷねLv.65事件が起きる」ということは成り立たない fact2: みゆみなLv.31事件とぷわぷねLv.65事件が生じるは近いということは起こらないということにより発生する fact3: 引っ越せることが起こる fact4: もし仮に「近いということは起こらなくてぷわぷねLv.65事件が発生する」ということは成り立たないならぴにゃぴわLv.46事件は発生しない fact5: もしぴにゃぴわLv.46事件かまたは完了出来ることが起きるとしたら近いということは起こらない fact6: 完了出来ることは起きないということは引っ越せることに防がれる
fact6 & fact3 -> int1: 完了出来ることが起きる; int1 -> int2: ぴにゃぴわLv.46事件が起きるかまたは完了出来ることが生じるかまたは両方ともである; int2 & fact5 -> int3: 近いということは起こらない; int3 & fact2 -> int4: みゆみなLv.31事件が起きるしぷわぷねLv.65事件が発生する; int4 -> hypothesis;
fact6 & fact3 -> int1: {B}; int1 -> int2: ({C} v {B}); int2 & fact5 -> int3: ¬{D}; int3 & fact2 -> int4: ({F} & {E}); int4 -> hypothesis;
「みゆみなLv.31事件は起きない」ということは真実だ
$facts$ = fact1: もし仮にハムレット復讐することは起きないとすれば「近いということは生じないがぷわぷねLv.65事件が起きる」ということは成り立たない fact2: みゆみなLv.31事件とぷわぷねLv.65事件が生じるは近いということは起こらないということにより発生する fact3: 引っ越せることが起こる fact4: もし仮に「近いということは起こらなくてぷわぷねLv.65事件が発生する」ということは成り立たないならぴにゃぴわLv.46事件は発生しない fact5: もしぴにゃぴわLv.46事件かまたは完了出来ることが起きるとしたら近いということは起こらない fact6: 完了出来ることは起きないということは引っ越せることに防がれる ; $hypothesis$ = 「みゆみなLv.31事件は起きない」ということは真実だ ; $proof$ = 
fact6 & fact3 -> int1: 完了出来ることが起きる; int1 -> int2: ぴにゃぴわLv.46事件が起きるかまたは完了出来ることが生じるかまたは両方ともである; int2 & fact5 -> int3: 近いということは起こらない; int3 & fact2 -> int4: みゆみなLv.31事件が起きるしぷわぷねLv.65事件が発生する; int4 -> hypothesis; __DISPROVED__
fact6 & fact3 -> int1: {B}; int1 -> int2: ({C} v {B}); int2 & fact5 -> int3: ¬{D}; int3 & fact2 -> int4: ({F} & {E}); int4 -> hypothesis; __DISPROVED__