「甘酸っぱくなくておまけに加工出来るとすれば「誤り無い」ということは成り立つ」モンスターはいる
fact1: 甘酸っぱくないモンスターでそれに加工出来るモンスターは誤り無い fact2: もし「そのもわもにょLv.49は甘酸っぱくて加工出来る」ということは真実であるならばそれは誤り無い fact3: もし成し難くないモンスターは使い難いとしたら「それは夏らしい」ということは真実だ fact4: 甘酸っぱいモンスターでありそれに加工出来るモンスターは誤り無い
fact1 -> int1: 仮にそのもわもにょLv.49は甘酸っぱくないけど加工出来れば誤り無い; int1 -> hypothesis;
fact1 -> int1: (¬{AA}{aa} & {AB}{aa}) -> {B}{aa}; int1 -> hypothesis;
「成し難くないしおまけに使い難いとしたら夏らしい」モンスターはいる
fact5 -> int2: もしもあのまにゃまくLv.77は成し難いということはないけれど使い難いとすればそれは夏らしい; int2 -> hypothesis;
$facts$ = fact1: 甘酸っぱくないモンスターでそれに加工出来るモンスターは誤り無い fact2: もし「そのもわもにょLv.49は甘酸っぱくて加工出来る」ということは真実であるならばそれは誤り無い fact3: もし成し難くないモンスターは使い難いとしたら「それは夏らしい」ということは真実だ fact4: 甘酸っぱいモンスターでありそれに加工出来るモンスターは誤り無い ; $hypothesis$ = 「甘酸っぱくなくておまけに加工出来るとすれば「誤り無い」ということは成り立つ」モンスターはいる ; $proof$ = 
fact1 -> int1: 仮にそのもわもにょLv.49は甘酸っぱくないけど加工出来れば誤り無い; int1 -> hypothesis; __PROVED__
fact1 -> int1: (¬{AA}{aa} & {AB}{aa}) -> {B}{aa}; int1 -> hypothesis; __PROVED__