あのもよもなLv.77は砕け易いしさらにそれは成立し難い
fact1: もしもこのまなまにLv.9が利用し辛いとしたらあのまにょまえLv.17は砕け易くなくてかつそれははしたなくない fact2: あのもよもなLv.77は成立し難い fact3: あのまにょまえLv.17ははしたなくない fact4: 「あのまにょまえLv.17ははしたないしそれは成立し難い」ということは真実であるとしたら人間っぽいということはない fact5: もしあのまにょまえLv.17がはしたなくないとしたらあのもよもなLv.77は砕け易いししかも人間っぽい
fact5 & fact3 -> int1: あのもよもなLv.77は砕け易いし加えてそれは人間っぽい; int1 -> int2: 「あのもよもなLv.77は砕け易い」ということは成り立つ; int2 & fact2 -> hypothesis;
fact5 & fact3 -> int1: ({AA}{b} & {AB}{b}); int1 -> int2: {AA}{b}; int2 & fact2 -> hypothesis;
あのまにょまえLv.17は人間っぽいということはない
$facts$ = fact1: もしもこのまなまにLv.9が利用し辛いとしたらあのまにょまえLv.17は砕け易くなくてかつそれははしたなくない fact2: あのもよもなLv.77は成立し難い fact3: あのまにょまえLv.17ははしたなくない fact4: 「あのまにょまえLv.17ははしたないしそれは成立し難い」ということは真実であるとしたら人間っぽいということはない fact5: もしあのまにょまえLv.17がはしたなくないとしたらあのもよもなLv.77は砕け易いししかも人間っぽい ; $hypothesis$ = あのもよもなLv.77は砕け易いしさらにそれは成立し難い ; $proof$ = 
fact5 & fact3 -> int1: あのもよもなLv.77は砕け易いし加えてそれは人間っぽい; int1 -> int2: 「あのもよもなLv.77は砕け易い」ということは成り立つ; int2 & fact2 -> hypothesis; __PROVED__
fact5 & fact3 -> int1: ({AA}{b} & {AB}{b}); int1 -> int2: {AA}{b}; int2 & fact2 -> hypothesis; __PROVED__