そのぷにょぷくLv.58はプロらしい
fact1: 全てのモンスターはプロらしい fact2: 仮に芳しいモンスターが徒らっぽいということはないとしたら捕まえ易くない fact3: でっかいモンスターは芳しいがしかし徒らっぽくない fact4: すべてのモンスターはでっかい
fact1 -> int1: 全てのモンスターはプロらしい; int1 -> hypothesis;
fact1 -> int1: (x): {A}x; int1 -> hypothesis;
全てのモンスターは利用し難い
fact6 -> int2: もしもそのぷにょぷくLv.58が芳しいが徒らっぽくないならそのぷにょぷくLv.58は捕まえ易くない; fact7 -> int3: そのぷにょぷくLv.58はでっかい; fact5 -> int4: 仮にそのぷにょぷくLv.58がでっかいとすればそのぷにょぷくLv.58は芳しいが徒らっぽいということはない; int3 & int4 -> int5: そのぷにょぷくLv.58は芳しいが徒らっぽいということはない; int2 & int5 -> int6: 「そのぷにょぷくLv.58は捕まえ易くない」ということは事実である;
$facts$ = fact1: 全てのモンスターはプロらしい fact2: 仮に芳しいモンスターが徒らっぽいということはないとしたら捕まえ易くない fact3: でっかいモンスターは芳しいがしかし徒らっぽくない fact4: すべてのモンスターはでっかい ; $hypothesis$ = そのぷにょぷくLv.58はプロらしい ; $proof$ = 
fact1 -> int1: 全てのモンスターはプロらしい; int1 -> hypothesis; __PROVED__
fact1 -> int1: (x): {A}x; int1 -> hypothesis; __PROVED__