「このぷやぷゆLv.65はぱりぱりするけど御思うということはない」ということは偽である
fact1: あのぴえぴよLv.18は油っぽい fact2: もし仮にあのぴえぴよLv.18が低ししまた油っぽいとすればそのぷねぷにゃLv.63は御思わない fact3: もしもあのぴえぴよLv.18は低しないとすると「そのぷねぷにゃLv.63は御思うがしかし低しない」ということは嘘である fact4: そのぷねぷにゃLv.63は御思わないとすれば「このぷやぷゆLv.65はぱりぱりするがそれは御思わない」ということは間違いである fact5: 「なんらかのモンスターは上げ易くないかあるいは手続き出来るかもしくは両方ともだ」ということは誤っているならそれは低し
fact5 -> int1: もし仮に「あのぴえぴよLv.18は上げ易くないかまたは手続き出来るかあるいは両方だ」ということは間違いだとすれば低し;
fact5 -> int1: ¬(¬{AA}{aa} v {AB}{aa}) -> {B}{aa};
$facts$ = fact1: あのぴえぴよLv.18は油っぽい fact2: もし仮にあのぴえぴよLv.18が低ししまた油っぽいとすればそのぷねぷにゃLv.63は御思わない fact3: もしもあのぴえぴよLv.18は低しないとすると「そのぷねぷにゃLv.63は御思うがしかし低しない」ということは嘘である fact4: そのぷねぷにゃLv.63は御思わないとすれば「このぷやぷゆLv.65はぱりぱりするがそれは御思わない」ということは間違いである fact5: 「なんらかのモンスターは上げ易くないかあるいは手続き出来るかもしくは両方ともだ」ということは誤っているならそれは低し ; $hypothesis$ = 「このぷやぷゆLv.65はぱりぱりするけど御思うということはない」ということは偽である ; $proof$ = 
__UNKNOWN__
__UNKNOWN__