「あのもちょもやLv.13は忝い」ということは成り立つ
fact1: あのぽにゅぽいLv.12がださいならばこのまちょまよLv.60は涙脆い fact2: あのみえみちょLv.40が涙脆いとするとこのみにゃみちゃLv.75は長い fact3: もし仮にとあるモンスターが涙脆くないとすると長くない fact4: 「あのもちょもやLv.13は長くない」ということは成り立つ fact5: 仮にこのまちょまよLv.60が涙脆いならばあのみえみちょLv.40は涙脆い fact6: もしもあのもちょもやLv.13が長くないとすれば発音出来る fact7: 長くないモンスターは忝いしかつ発音出来る
fact7 -> int1: あのもちょもやLv.13が長くないとしたらあのもちょもやLv.13は忝いしまた発音出来る; int1 & fact4 -> int2: あのもちょもやLv.13は忝いし発音出来る; int2 -> hypothesis;
fact7 -> int1: ¬{A}{aa} -> ({AA}{aa} & {AB}{aa}); int1 & fact4 -> int2: ({AA}{aa} & {AB}{aa}); int2 -> hypothesis;
あのみにゅみくLv.1は長くない
fact8 -> int3: あのみにゅみくLv.1は涙脆いということはないならば「あのみにゅみくLv.1は長くない」ということは本当だ;
$facts$ = fact1: あのぽにゅぽいLv.12がださいならばこのまちょまよLv.60は涙脆い fact2: あのみえみちょLv.40が涙脆いとするとこのみにゃみちゃLv.75は長い fact3: もし仮にとあるモンスターが涙脆くないとすると長くない fact4: 「あのもちょもやLv.13は長くない」ということは成り立つ fact5: 仮にこのまちょまよLv.60が涙脆いならばあのみえみちょLv.40は涙脆い fact6: もしもあのもちょもやLv.13が長くないとすれば発音出来る fact7: 長くないモンスターは忝いしかつ発音出来る ; $hypothesis$ = 「あのもちょもやLv.13は忝い」ということは成り立つ ; $proof$ = 
fact7 -> int1: あのもちょもやLv.13が長くないとしたらあのもちょもやLv.13は忝いしまた発音出来る; int1 & fact4 -> int2: あのもちょもやLv.13は忝いし発音出来る; int2 -> hypothesis; __PROVED__
fact7 -> int1: ¬{A}{aa} -> ({AA}{aa} & {AB}{aa}); int1 & fact4 -> int2: ({AA}{aa} & {AB}{aa}); int2 -> hypothesis; __PROVED__