餓鬼っぽいということが生じるしそれに出会い易いということが生じる
fact1: 出会い易いということが起こる fact2: 餓鬼っぽいということが起こる fact3: もにょもちゅLv.62事件は「ぴわぴよLv.52事件は生じないけど木目細かいということが起きる」ということに防がれる fact4: 「出会い易いということは発生しない」ということは本当ならば餓鬼っぽいということおよびもわもにLv.65事件両方ともが起きる fact5: もし仮に攻撃し易いということは発生しないなら「餓鬼っぽいということおよび出会い易いということが発生する」ということは成り立たない fact6: もにょもちゅLv.62事件は起こらないということは「攻撃し易いということが生じるがしかし出会い易いということは起こらない」ということを引き起こす fact7: 仮設することが起きる
fact2 -> int1: 餓鬼っぽいということが起こる; int1 & fact1 -> hypothesis;
fact2 -> int1: {A}; int1 & fact1 -> hypothesis;
「餓鬼っぽいということと出会い易いということが発生する」ということは成り立つということはない
$facts$ = fact1: 出会い易いということが起こる fact2: 餓鬼っぽいということが起こる fact3: もにょもちゅLv.62事件は「ぴわぴよLv.52事件は生じないけど木目細かいということが起きる」ということに防がれる fact4: 「出会い易いということは発生しない」ということは本当ならば餓鬼っぽいということおよびもわもにLv.65事件両方ともが起きる fact5: もし仮に攻撃し易いということは発生しないなら「餓鬼っぽいということおよび出会い易いということが発生する」ということは成り立たない fact6: もにょもちゅLv.62事件は起こらないということは「攻撃し易いということが生じるがしかし出会い易いということは起こらない」ということを引き起こす fact7: 仮設することが起きる ; $hypothesis$ = 餓鬼っぽいということが生じるしそれに出会い易いということが生じる ; $proof$ = 
fact2 -> int1: 餓鬼っぽいということが起こる; int1 & fact1 -> hypothesis; __PROVED__
fact2 -> int1: {A}; int1 & fact1 -> hypothesis; __PROVED__