近付き難いということは起こらない
fact1: 「ぷよぷちょLv.18事件は起きないがしかし近付き難いということが起こる」ということはもえもにLv.8事件が生じないということは原因である fact2: 仮に冷め易いということかもしくはスポーツマンらしいということかもしくは両方ともが生じれば掛け難いということは起こらない fact3: 近付き難いということは「借り易いということが生じるかもしくはぷよぷちょLv.18事件が起こる」ということに阻まれる fact4: 借り易いということが起こる fact5: 近付き難いということはぷよぷちょLv.18事件に阻止される fact6: 「分社化することは発生しないし痒いということは発生しない」ということは「もえもにLv.8事件は発生しない」ということのきっかけとなる fact7: もし調べ易いということは発生しないとしたら分社化することは起きなくて痒いということは起きない
fact4 -> int1: 借り易いということかぷよぷちょLv.18事件が発生する; int1 & fact3 -> hypothesis;
fact4 -> int1: ({A} v {B}); int1 & fact3 -> hypothesis;
直せることが起こるかみゆみなLv.13事件が起こる
$facts$ = fact1: 「ぷよぷちょLv.18事件は起きないがしかし近付き難いということが起こる」ということはもえもにLv.8事件が生じないということは原因である fact2: 仮に冷め易いということかもしくはスポーツマンらしいということかもしくは両方ともが生じれば掛け難いということは起こらない fact3: 近付き難いということは「借り易いということが生じるかもしくはぷよぷちょLv.18事件が起こる」ということに阻まれる fact4: 借り易いということが起こる fact5: 近付き難いということはぷよぷちょLv.18事件に阻止される fact6: 「分社化することは発生しないし痒いということは発生しない」ということは「もえもにLv.8事件は発生しない」ということのきっかけとなる fact7: もし調べ易いということは発生しないとしたら分社化することは起きなくて痒いということは起きない ; $hypothesis$ = 近付き難いということは起こらない ; $proof$ = 
fact4 -> int1: 借り易いということかぷよぷちょLv.18事件が発生する; int1 & fact3 -> hypothesis; __PROVED__
fact4 -> int1: ({A} v {B}); int1 & fact3 -> hypothesis; __PROVED__