清しということおよび嘘っぽいということどちらもが起きる
fact1: 清しということは生じないということはもわもちゃLv.84事件は発生しないということに阻まれる fact2: 嘘っぽいということが起こる fact3: 「ぷちょぷちゃLv.75事件は起こらない」ということは「蜂起することとぷやぷねLv.66事件どちらもが発生する」ということに帰結する fact4: もしぷやぷねLv.66事件が生じるとしたら書き直せることは起きないしまた嘘っぽいということは発生しない fact5: 仮に「根気良いということが起きるがしかし遣る瀬無いということは起きない」ということは成り立たないとしたら「もわもちゃLv.84事件は起こらない」ということは成り立つ fact6: 「根気良いということが起こるし遣る瀬無いということは起こらない」ということは成り立たない fact7: 「清しということは生じない」ということは本当であるなら「言い訳がましいということが起こるけどぷねぷちゃLv.97事件は生じない」ということは間違いだ
fact5 & fact6 -> int1: もわもちゃLv.84事件は起こらない; int1 & fact1 -> int2: 清しということが起こる; int2 & fact2 -> hypothesis;
fact5 & fact6 -> int1: ¬{B}; int1 & fact1 -> int2: {A}; int2 & fact2 -> hypothesis;
「言い訳がましいということが起こるしぷねぷちゃLv.97事件は生じない」ということは成り立たない
$facts$ = fact1: 清しということは生じないということはもわもちゃLv.84事件は発生しないということに阻まれる fact2: 嘘っぽいということが起こる fact3: 「ぷちょぷちゃLv.75事件は起こらない」ということは「蜂起することとぷやぷねLv.66事件どちらもが発生する」ということに帰結する fact4: もしぷやぷねLv.66事件が生じるとしたら書き直せることは起きないしまた嘘っぽいということは発生しない fact5: 仮に「根気良いということが起きるがしかし遣る瀬無いということは起きない」ということは成り立たないとしたら「もわもちゃLv.84事件は起こらない」ということは成り立つ fact6: 「根気良いということが起こるし遣る瀬無いということは起こらない」ということは成り立たない fact7: 「清しということは生じない」ということは本当であるなら「言い訳がましいということが起こるけどぷねぷちゃLv.97事件は生じない」ということは間違いだ ; $hypothesis$ = 清しということおよび嘘っぽいということどちらもが起きる ; $proof$ = 
fact5 & fact6 -> int1: もわもちゃLv.84事件は起こらない; int1 & fact1 -> int2: 清しということが起こる; int2 & fact2 -> hypothesis; __PROVED__
fact5 & fact6 -> int1: ¬{B}; int1 & fact1 -> int2: {A}; int2 & fact2 -> hypothesis; __PROVED__