仕方無いということか脂っぽいということが生じる
fact1: 擽ったいということが生じる fact2: 「もにょもいLv.18事件が起こる」ということは「ぴえぴえLv.9事件は起きない」ということを阻む fact3: 脂っぽいということは起こらないということは滲み渡ることに阻止される fact4: もにょもいLv.18事件が発生するしかつ擽ったいということが起こる fact5: 滲み渡ることは起きないということはぴえぴえLv.9事件が起きるということに防がれる
fact4 -> int1: もにょもいLv.18事件が生じる; int1 & fact2 -> int2: ぴえぴえLv.9事件が生じる; int2 & fact5 -> int3: 滲み渡ることが発生する; int3 & fact3 -> int4: 脂っぽいということが発生する; int4 -> hypothesis;
fact4 -> int1: {A}; int1 & fact2 -> int2: {C}; int2 & fact5 -> int3: {D}; int3 & fact3 -> int4: {E}; int4 -> hypothesis;
$facts$ = fact1: 擽ったいということが生じる fact2: 「もにょもいLv.18事件が起こる」ということは「ぴえぴえLv.9事件は起きない」ということを阻む fact3: 脂っぽいということは起こらないということは滲み渡ることに阻止される fact4: もにょもいLv.18事件が発生するしかつ擽ったいということが起こる fact5: 滲み渡ることは起きないということはぴえぴえLv.9事件が起きるということに防がれる ; $hypothesis$ = 仕方無いということか脂っぽいということが生じる ; $proof$ = 
fact4 -> int1: もにょもいLv.18事件が生じる; int1 & fact2 -> int2: ぴえぴえLv.9事件が生じる; int2 & fact5 -> int3: 滲み渡ることが発生する; int3 & fact3 -> int4: 脂っぽいということが発生する; int4 -> hypothesis; __PROVED__
fact4 -> int1: {A}; int1 & fact2 -> int2: {C}; int2 & fact5 -> int3: {D}; int3 & fact3 -> int4: {E}; int4 -> hypothesis; __PROVED__