あのみくみえLv.55は打ち難くないかあるいはそれは追い上げないかもしくはどちらもである
fact1: あのみくみえLv.55はやんごとない fact2: あのみくみえLv.55は追い上げる fact3: もしも「あのみくみえLv.55は打ち難くないかもしくは追い上げるかあるいはどちらもである」ということは誤りであるとするとやんごとなくない fact4: 「なにがしかのモンスターは打ち難くないか追い上げないかあるいは両方ともだ」ということは間違っているならそれはやんごとなくない fact5: 仮にこのぽちょぽくLv.10は軽量化しないとすれば「あのみくみえLv.55は打ち難くないかあるいは追い上げないかまたはどちらもである」ということは嘘だ fact6: もしも哀れっぽいモンスターがやんごとなくないとすると軽量化しない fact7: もし仮にこのぽちょぽくLv.10が慕わしいとしたらそれは哀れっぽい
fact4 -> int1: 「仮に「あのみくみえLv.55は打ち難くないかあるいは追い上げないかまたはどちらもだ」ということは誤っているとしたらあのみくみえLv.55はやんごとなくない」ということは成り立つ; void -> assump1: 以下のように仮定する。「あのみくみえLv.55は打ち難くないかあるいは追い上げないかまたは両方である」ということは事実と異なる; int1 & assump1 -> int2: あのみくみえLv.55はやんごとなくない; int2 & fact1 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
fact4 -> int1: ¬(¬{AA}{aa} v ¬{AB}{aa}) -> ¬{B}{aa}; void -> assump1: ¬(¬{AA}{aa} v ¬{AB}{aa}); int1 & assump1 -> int2: ¬{B}{aa}; int2 & fact1 -> int3: #F#; [assump1] & int3 -> hypothesis;
以下のように仮定する。「あのみくみえLv.55は打ち難くないかあるいは追い上げないかまたは両方である」ということは事実と異なる
fact9 -> int4: もしもこのぽちょぽくLv.10が哀れっぽいけどやんごとなくないならば軽量化しない;
$facts$ = fact1: あのみくみえLv.55はやんごとない fact2: あのみくみえLv.55は追い上げる fact3: もしも「あのみくみえLv.55は打ち難くないかもしくは追い上げるかあるいはどちらもである」ということは誤りであるとするとやんごとなくない fact4: 「なにがしかのモンスターは打ち難くないか追い上げないかあるいは両方ともだ」ということは間違っているならそれはやんごとなくない fact5: 仮にこのぽちょぽくLv.10は軽量化しないとすれば「あのみくみえLv.55は打ち難くないかあるいは追い上げないかまたはどちらもである」ということは嘘だ fact6: もしも哀れっぽいモンスターがやんごとなくないとすると軽量化しない fact7: もし仮にこのぽちょぽくLv.10が慕わしいとしたらそれは哀れっぽい ; $hypothesis$ = あのみくみえLv.55は打ち難くないかあるいはそれは追い上げないかもしくはどちらもである ; $proof$ = 
fact4 -> int1: 「仮に「あのみくみえLv.55は打ち難くないかあるいは追い上げないかまたはどちらもだ」ということは誤っているとしたらあのみくみえLv.55はやんごとなくない」ということは成り立つ; void -> assump1: 以下のように仮定する。「あのみくみえLv.55は打ち難くないかあるいは追い上げないかまたは両方である」ということは事実と異なる; int1 & assump1 -> int2: あのみくみえLv.55はやんごとなくない; int2 & fact1 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
fact4 -> int1: ¬(¬{AA}{aa} v ¬{AB}{aa}) -> ¬{B}{aa}; void -> assump1: ¬(¬{AA}{aa} v ¬{AB}{aa}); int1 & assump1 -> int2: ¬{B}{aa}; int2 & fact1 -> int3: #F#; [assump1] & int3 -> hypothesis; __PROVED__