手強いということが発生する
fact1: 「余儀無いということが起こるが軋ることは起こらない」ということは成り立たないとしたら手強いということは起きない fact2: 吝いということが起こる fact3: 手強いということは吝いということが原因である fact4: ぷのぷゆLv.34事件が起こるということは生え易いということを引き起こす fact5: 遅刻することはみちゅみやLv.51事件に由来する
fact2 -> int1: 吝いということが起こる; int1 & fact3 -> hypothesis;
fact2 -> int1: {A}; int1 & fact3 -> hypothesis;
みちゃみえLv.5事件が発生する
$facts$ = fact1: 「余儀無いということが起こるが軋ることは起こらない」ということは成り立たないとしたら手強いということは起きない fact2: 吝いということが起こる fact3: 手強いということは吝いということが原因である fact4: ぷのぷゆLv.34事件が起こるということは生え易いということを引き起こす fact5: 遅刻することはみちゅみやLv.51事件に由来する ; $hypothesis$ = 手強いということが発生する ; $proof$ = 
fact2 -> int1: 吝いということが起こる; int1 & fact3 -> hypothesis; __PROVED__
fact2 -> int1: {A}; int1 & fact3 -> hypothesis; __PROVED__