あのぴくぴねLv.57は掃除し易いけど着替えない
fact1: あのぴくぴねLv.57は来辛い fact2: とあるモンスターは来辛いとすると「それは掃除し易いけれど着替えるということはない」ということは成り立たない fact3: 「あのぴくぴねLv.57は掃除し易くてかつ着替える」ということは間違いである
fact2 -> int1: 仮にあのぴくぴねLv.57は来辛いとすれば「あのぴくぴねLv.57は掃除し易いけど着替えない」ということは誤っている; int1 & fact1 -> hypothesis;
fact2 -> int1: {A}{aa} -> ¬({AA}{aa} & ¬{AB}{aa}); int1 & fact1 -> hypothesis;
$facts$ = fact1: あのぴくぴねLv.57は来辛い fact2: とあるモンスターは来辛いとすると「それは掃除し易いけれど着替えるということはない」ということは成り立たない fact3: 「あのぴくぴねLv.57は掃除し易くてかつ着替える」ということは間違いである ; $hypothesis$ = あのぴくぴねLv.57は掃除し易いけど着替えない ; $proof$ = 
fact2 -> int1: 仮にあのぴくぴねLv.57は来辛いとすれば「あのぴくぴねLv.57は掃除し易いけど着替えない」ということは誤っている; int1 & fact1 -> hypothesis; __DISPROVED__
fact2 -> int1: {A}{aa} -> ¬({AA}{aa} & ¬{AB}{aa}); int1 & fact1 -> hypothesis; __DISPROVED__