あのまにゅまやLv.8は付き易い
fact1: もし仮になんらかのモンスターが付き易くないならば飛行機らしくないかもしくは預けるかまたはどちらもである fact2: 「あのまにゅまやLv.8は飛行機らしくないかまたはそれは預ける」ということは本当でない fact3: 「あのまにゅまやLv.8は飛行機らしい」ということは成り立つ fact4: もしもなんらかのモンスターが付き易いということはないなら飛行機らしいかまたはそれは預けるか両方だ
fact1 -> int1: もしも「あのまにゅまやLv.8は付き易くない」ということは事実であるとすればそれは飛行機らしくないか預ける; void -> assump1: 以下のように仮定する。あのまにゅまやLv.8は付き易くない; int1 & assump1 -> int2: あのまにゅまやLv.8は飛行機らしくないかもしくは預けるかどちらもだ; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
fact1 -> int1: ¬{A}{aa} -> (¬{AA}{aa} v {AB}{aa}); void -> assump1: ¬{A}{aa}; int1 & assump1 -> int2: (¬{AA}{aa} v {AB}{aa}); int2 & fact2 -> int3: #F#; [assump1] & int3 -> hypothesis;
$facts$ = fact1: もし仮になんらかのモンスターが付き易くないならば飛行機らしくないかもしくは預けるかまたはどちらもである fact2: 「あのまにゅまやLv.8は飛行機らしくないかまたはそれは預ける」ということは本当でない fact3: 「あのまにゅまやLv.8は飛行機らしい」ということは成り立つ fact4: もしもなんらかのモンスターが付き易いということはないなら飛行機らしいかまたはそれは預けるか両方だ ; $hypothesis$ = あのまにゅまやLv.8は付き易い ; $proof$ = 
fact1 -> int1: もしも「あのまにゅまやLv.8は付き易くない」ということは事実であるとすればそれは飛行機らしくないか預ける; void -> assump1: 以下のように仮定する。あのまにゅまやLv.8は付き易くない; int1 & assump1 -> int2: あのまにゅまやLv.8は飛行機らしくないかもしくは預けるかどちらもだ; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
fact1 -> int1: ¬{A}{aa} -> (¬{AA}{aa} v {AB}{aa}); void -> assump1: ¬{A}{aa}; int1 & assump1 -> int2: (¬{AA}{aa} v {AB}{aa}); int2 & fact2 -> int3: #F#; [assump1] & int3 -> hypothesis; __PROVED__