疲れ易いということは発生しない
fact1: もし細かいということは起こらないとしたら思しということと粉っぽいということが発生する fact2: 書き易いということが起きるということはぽのぽにLv.15事件は発生しないということを阻む fact3: ちっちゃいということは発生しないということは書き易いということと疲れ易いということが生じるを生じさせる fact4: 粉っぽいということは起こらないということは書き易いということおよびちっちゃいということが生じるを誘発する fact5: もしも当たり易いということが起きるしそれに悔しがることが起こるなら細かいということは生じない fact6: 粉っぽいということは生じない fact7: 「ちっちゃいということが起こるし加えてちぎれ易いということが起こる」ということは疲れ易いということを回避する fact8: 「ちぎれ易いということが生じる」ということは事実だ
fact4 & fact6 -> int1: 書き易いということおよびちっちゃいということ両方が生じる; int1 -> int2: ちっちゃいということが起きる; int2 & fact8 -> int3: ちっちゃいということおよびちぎれ易いということが起こる; int3 & fact7 -> hypothesis;
fact4 & fact6 -> int1: ({A} & {B}); int1 -> int2: {B}; int2 & fact8 -> int3: ({B} & {C}); int3 & fact7 -> hypothesis;
ぽのぽにLv.15事件とまやまゆLv.57事件両方ともが発生する
$facts$ = fact1: もし細かいということは起こらないとしたら思しということと粉っぽいということが発生する fact2: 書き易いということが起きるということはぽのぽにLv.15事件は発生しないということを阻む fact3: ちっちゃいということは発生しないということは書き易いということと疲れ易いということが生じるを生じさせる fact4: 粉っぽいということは起こらないということは書き易いということおよびちっちゃいということが生じるを誘発する fact5: もしも当たり易いということが起きるしそれに悔しがることが起こるなら細かいということは生じない fact6: 粉っぽいということは生じない fact7: 「ちっちゃいということが起こるし加えてちぎれ易いということが起こる」ということは疲れ易いということを回避する fact8: 「ちぎれ易いということが生じる」ということは事実だ ; $hypothesis$ = 疲れ易いということは発生しない ; $proof$ = 
fact4 & fact6 -> int1: 書き易いということおよびちっちゃいということ両方が生じる; int1 -> int2: ちっちゃいということが起きる; int2 & fact8 -> int3: ちっちゃいということおよびちぎれ易いということが起こる; int3 & fact7 -> hypothesis; __PROVED__
fact4 & fact6 -> int1: ({A} & {B}); int1 -> int2: {B}; int2 & fact8 -> int3: ({B} & {C}); int3 & fact7 -> hypothesis; __PROVED__