「もし仮にどうしても欲しいとすれば食べ易いけれど分配しない」モンスターはいる
fact1: 「アメリカっぽいならば厚ししまた馴染み難い」モンスターはいる fact2: 仮に何らかのモンスターが忍耐強いとしたらそれは畳めるしおまけに荒くない fact3: 仮になにがしかのモンスターがどうしても欲しいなら食べ易いけど分配するということはない
fact3 -> int1: このぽなぽにLv.50がどうしても欲しいとしたらこのぽなぽにLv.50は食べ易いけれど分配しない; int1 -> hypothesis;
fact3 -> int1: {A}{aa} -> ({AA}{aa} & ¬{AB}{aa}); int1 -> hypothesis;
もし「このぽなぽにLv.50は忍耐強い」ということは嘘でないならばこのぽなぽにLv.50は畳めるけれど荒くない
fact4 -> hypothesis;
$facts$ = fact1: 「アメリカっぽいならば厚ししまた馴染み難い」モンスターはいる fact2: 仮に何らかのモンスターが忍耐強いとしたらそれは畳めるしおまけに荒くない fact3: 仮になにがしかのモンスターがどうしても欲しいなら食べ易いけど分配するということはない ; $hypothesis$ = 「もし仮にどうしても欲しいとすれば食べ易いけれど分配しない」モンスターはいる ; $proof$ = 
fact3 -> int1: このぽなぽにLv.50がどうしても欲しいとしたらこのぽなぽにLv.50は食べ易いけれど分配しない; int1 -> hypothesis; __PROVED__
fact3 -> int1: {A}{aa} -> ({AA}{aa} & ¬{AB}{aa}); int1 -> hypothesis; __PROVED__