平べったいということが起こる
fact1: もしも壊れ易いということは発生しないとしたら「「素っ気ないということおよび理屈っぽいということ両方が起こる」ということは誤っていない」ということは嘘である fact2: 仮に「素っ気ないということおよび理屈っぽいということが発生する」ということは誤りであるとすれば暑いということは発生しない fact3: もし仮にリスペクトすることが起きればまにまちゅLv.22事件は発生するし読み辛いということは起こらない fact4: もし仮に「危うしということが発生する」ということは嘘でないとすればぷなぷよLv.81事件が起きるが平べったいということは起きない fact5: もし暑いということは生じないとしたら危うしということが起こるしさらにぽえぽやLv.76事件が生じる fact6: もし仮にぷなぷよLv.81事件が発生するとすると平べったいということが生じるがしかしカプセル化することは発生しない fact7: 「ぷなぷよLv.81事件が起きる」ということは本当である
fact6 & fact7 -> int1: 平べったいということが起きるがカプセル化することは発生しない; int1 -> hypothesis;
fact6 & fact7 -> int1: ({AA} & ¬{AB}); int1 -> hypothesis;
平べったいということは起こらない
$facts$ = fact1: もしも壊れ易いということは発生しないとしたら「「素っ気ないということおよび理屈っぽいということ両方が起こる」ということは誤っていない」ということは嘘である fact2: 仮に「素っ気ないということおよび理屈っぽいということが発生する」ということは誤りであるとすれば暑いということは発生しない fact3: もし仮にリスペクトすることが起きればまにまちゅLv.22事件は発生するし読み辛いということは起こらない fact4: もし仮に「危うしということが発生する」ということは嘘でないとすればぷなぷよLv.81事件が起きるが平べったいということは起きない fact5: もし暑いということは生じないとしたら危うしということが起こるしさらにぽえぽやLv.76事件が生じる fact6: もし仮にぷなぷよLv.81事件が発生するとすると平べったいということが生じるがしかしカプセル化することは発生しない fact7: 「ぷなぷよLv.81事件が起きる」ということは本当である ; $hypothesis$ = 平べったいということが起こる ; $proof$ = 
fact6 & fact7 -> int1: 平べったいということが起きるがカプセル化することは発生しない; int1 -> hypothesis; __PROVED__
fact6 & fact7 -> int1: ({AA} & ¬{AB}); int1 -> hypothesis; __PROVED__