このぴゆぴいLv.77は調べ易くないかまたは狡くないかもしくは両方である
fact1: 仮にこのぴゆぴいLv.77が調べ易くないとしたらそれは割れ難くないか勝てないかあるいはどちらもだ fact2: このぴゆぴいLv.77は書き難くない fact3: このぴゆぴいLv.77は調べ易くないかあるいはそれは狡いかどちらもだ fact4: 書き難くないモンスターは調べ易くないかもしくは狡くないかどちらもである fact5: 「あのみえみわLv.58は握り易いしその上虐待する」ということは成り立つということはない fact6: もしあのみえみわLv.58が尤もらしくないとしたらあのみえみわLv.58は攻め上がるかまたは忝くないかもしくは両方ともである fact7: もし仮に「あのみえみわLv.58は握り易くて加えて虐待する」ということは誤りだとするとあのみえみわLv.58は疎いということはない
fact4 -> int1: 仮にこのぴゆぴいLv.77が書き難くないならこのぴゆぴいLv.77は調べ易くないか狡くないか両方である; int1 & fact2 -> hypothesis;
fact4 -> int1: ¬{A}{aa} -> (¬{AA}{aa} v ¬{AB}{aa}); int1 & fact2 -> hypothesis;
「このぴゆぴいLv.77は調べ易くないかそれは狡くない」ということは間違っている
fact8 & fact9 -> int2: あのみえみわLv.58は疎くない; int2 -> int3: 「疎くない」モンスターはいる;
$facts$ = fact1: 仮にこのぴゆぴいLv.77が調べ易くないとしたらそれは割れ難くないか勝てないかあるいはどちらもだ fact2: このぴゆぴいLv.77は書き難くない fact3: このぴゆぴいLv.77は調べ易くないかあるいはそれは狡いかどちらもだ fact4: 書き難くないモンスターは調べ易くないかもしくは狡くないかどちらもである fact5: 「あのみえみわLv.58は握り易いしその上虐待する」ということは成り立つということはない fact6: もしあのみえみわLv.58が尤もらしくないとしたらあのみえみわLv.58は攻め上がるかまたは忝くないかもしくは両方ともである fact7: もし仮に「あのみえみわLv.58は握り易くて加えて虐待する」ということは誤りだとするとあのみえみわLv.58は疎いということはない ; $hypothesis$ = このぴゆぴいLv.77は調べ易くないかまたは狡くないかもしくは両方である ; $proof$ = 
fact4 -> int1: 仮にこのぴゆぴいLv.77が書き難くないならこのぴゆぴいLv.77は調べ易くないか狡くないか両方である; int1 & fact2 -> hypothesis; __PROVED__
fact4 -> int1: ¬{A}{aa} -> (¬{AA}{aa} v ¬{AB}{aa}); int1 & fact2 -> hypothesis; __PROVED__