「あのものもにLv.40は素晴らしいけど強化しない」ということは真実だ
fact1: 「晴々しかないモンスターは若いがしかし慕わしくない」ということは成り立つ fact2: もし「あのものもにLv.40はだらし無いということはない」ということは事実であるとしたらあのものもにLv.40は図太くない fact3: 心地良いということはないモンスターは分厚いがしかし加熱しない fact4: あのものもにLv.40は掛け難いということはない fact5: このぷちゃぷにゅLv.25は掛け難くない fact6: 掛け難くないモンスターは素晴らしいけど強化しない
fact6 -> int1: 仮にあのものもにLv.40が掛け難くないとしたらあのものもにLv.40は素晴らしいけれどそれは強化しない; int1 & fact4 -> hypothesis;
fact6 -> int1: ¬{A}{aa} -> ({AA}{aa} & ¬{AB}{aa}); int1 & fact4 -> hypothesis;
$facts$ = fact1: 「晴々しかないモンスターは若いがしかし慕わしくない」ということは成り立つ fact2: もし「あのものもにLv.40はだらし無いということはない」ということは事実であるとしたらあのものもにLv.40は図太くない fact3: 心地良いということはないモンスターは分厚いがしかし加熱しない fact4: あのものもにLv.40は掛け難いということはない fact5: このぷちゃぷにゅLv.25は掛け難くない fact6: 掛け難くないモンスターは素晴らしいけど強化しない ; $hypothesis$ = 「あのものもにLv.40は素晴らしいけど強化しない」ということは真実だ ; $proof$ = 
fact6 -> int1: 仮にあのものもにLv.40が掛け難くないとしたらあのものもにLv.40は素晴らしいけれどそれは強化しない; int1 & fact4 -> hypothesis; __PROVED__
fact6 -> int1: ¬{A}{aa} -> ({AA}{aa} & ¬{AB}{aa}); int1 & fact4 -> hypothesis; __PROVED__