「あのぴわぴよLv.32は疲れ始めない」ということは事実である
fact1: 「もしあのもよもいLv.36は遣り易いとすると「そのぷなぷくLv.57は湿っぽい」ということは事実である」ということは真実だ fact2: そのみよみゆLv.71はぱりっとするなら「あのもよもいLv.36は貧しい」ということは成り立つ fact3: もしあのもよもいLv.36が貧しいか遣り易いとするとあのぴわぴよLv.32は疲れ始めるということはない fact4: とあるモンスターがぱりっとするとすると振る舞える fact5: 形成し易くて貧しいモンスターはぱりっとしない fact6: そのみよみゆLv.71は形成し易い fact7: もし仮にあのもよもいLv.36が遣り易いならあのぴわぴよLv.32は疲れ始めるということはない fact8: そのみよみゆLv.71はぱりっとするしそれは形成し易い
fact8 -> int1: そのみよみゆLv.71はぱりっとする; int1 & fact2 -> int2: あのもよもいLv.36は貧しい; int2 -> int3: あのもよもいLv.36は貧しいかまたは遣り易いかあるいは両方だ; int3 & fact3 -> hypothesis;
fact8 -> int1: {A}{a}; int1 & fact2 -> int2: {C}{b}; int2 -> int3: ({C}{b} v {D}{b}); int3 & fact3 -> hypothesis;
そのぷなぷくLv.57は湿っぽいし振る舞える
fact9 -> int4: 仮に「そのぷなぷくLv.57はぱりっとする」ということは確かであるとすればそのぷなぷくLv.57は振る舞える;
$facts$ = fact1: 「もしあのもよもいLv.36は遣り易いとすると「そのぷなぷくLv.57は湿っぽい」ということは事実である」ということは真実だ fact2: そのみよみゆLv.71はぱりっとするなら「あのもよもいLv.36は貧しい」ということは成り立つ fact3: もしあのもよもいLv.36が貧しいか遣り易いとするとあのぴわぴよLv.32は疲れ始めるということはない fact4: とあるモンスターがぱりっとするとすると振る舞える fact5: 形成し易くて貧しいモンスターはぱりっとしない fact6: そのみよみゆLv.71は形成し易い fact7: もし仮にあのもよもいLv.36が遣り易いならあのぴわぴよLv.32は疲れ始めるということはない fact8: そのみよみゆLv.71はぱりっとするしそれは形成し易い ; $hypothesis$ = 「あのぴわぴよLv.32は疲れ始めない」ということは事実である ; $proof$ = 
fact8 -> int1: そのみよみゆLv.71はぱりっとする; int1 & fact2 -> int2: あのもよもいLv.36は貧しい; int2 -> int3: あのもよもいLv.36は貧しいかまたは遣り易いかあるいは両方だ; int3 & fact3 -> hypothesis; __PROVED__
fact8 -> int1: {A}{a}; int1 & fact2 -> int2: {C}{b}; int2 -> int3: ({C}{b} v {D}{b}); int3 & fact3 -> hypothesis; __PROVED__