「戻し易いということではなくてぽよぽくLv.55事件が起きる」ということは事実と異なる
fact1: 仮に扱い難いということは生じないとすれば「戻し易いということは生じないしぽよぽくLv.55事件が起きる」ということは事実と異なる fact2: 軽しということは起こらないということは得難いということが契機だ fact3: 仮に潔いということは起きないならば「「ぷわぷゆLv.86事件ではなくて侮辱することが発生する」ということは正しい」ということは成り立つということはない fact4: 扱い難いということはもよもよLv.10事件に阻止される fact5: 扱い難いということは「白っぽいということが発生する」ということか「もよもよLv.10事件が生じる」ということかもしくは両方ともに阻まれる fact6: 白っぽいということが生じる
fact6 -> int1: 白っぽいということかまたはもよもよLv.10事件かあるいはどちらもが起こる; int1 & fact5 -> int2: 扱い難いということは起きない; int2 & fact1 -> hypothesis;
fact6 -> int1: ({A} v {B}); int1 & fact5 -> int2: ¬{C}; int2 & fact1 -> hypothesis;
$facts$ = fact1: 仮に扱い難いということは生じないとすれば「戻し易いということは生じないしぽよぽくLv.55事件が起きる」ということは事実と異なる fact2: 軽しということは起こらないということは得難いということが契機だ fact3: 仮に潔いということは起きないならば「「ぷわぷゆLv.86事件ではなくて侮辱することが発生する」ということは正しい」ということは成り立つということはない fact4: 扱い難いということはもよもよLv.10事件に阻止される fact5: 扱い難いということは「白っぽいということが発生する」ということか「もよもよLv.10事件が生じる」ということかもしくは両方ともに阻まれる fact6: 白っぽいということが生じる ; $hypothesis$ = 「戻し易いということではなくてぽよぽくLv.55事件が起きる」ということは事実と異なる ; $proof$ = 
fact6 -> int1: 白っぽいということかまたはもよもよLv.10事件かあるいはどちらもが起こる; int1 & fact5 -> int2: 扱い難いということは起きない; int2 & fact1 -> hypothesis; __PROVED__
fact6 -> int1: ({A} v {B}); int1 & fact5 -> int2: ¬{C}; int2 & fact1 -> hypothesis; __PROVED__