そのぴゆぴえLv.28は清々する
fact1: もしなんらかのモンスターが清々しない一方で得られ難いとすると酒臭いということはない fact2: もしもそのぴゆぴえLv.28が酒臭いとすればそのぴゆぴえLv.28は清々しない fact3: あらゆるモンスターは弱しないしかつそれはすーごい fact4: もしもあるモンスターは確かめ為さるということはないとすると「それは清々しないが得られ難い」ということは本当である fact5: もしそのぴゆぴえLv.28が得られ難いか酒臭いならばそのぴゆぴえLv.28は清々するということはない fact6: 「そのぴゆぴえLv.28は得られ難い」ということは正しい
fact6 -> int1: そのぴゆぴえLv.28は得られ難いかもしくはそれは酒臭い; int1 & fact5 -> hypothesis;
fact6 -> int1: ({A}{a} v {B}{a}); int1 & fact5 -> hypothesis;
そのぴにょぴゆLv.95は酒臭くない
fact7 -> int2: 仮にそのぴゆぴえLv.28が確かめ為さらないならばそのぴゆぴえLv.28は清々しないが得られ難い; fact9 -> int3: そのぴゆぴえLv.28は弱しということはないがすーごい; fact8 -> int4: もしそのぴゆぴえLv.28は清々しないけど得られ難いとすればそれは酒臭くない;
$facts$ = fact1: もしなんらかのモンスターが清々しない一方で得られ難いとすると酒臭いということはない fact2: もしもそのぴゆぴえLv.28が酒臭いとすればそのぴゆぴえLv.28は清々しない fact3: あらゆるモンスターは弱しないしかつそれはすーごい fact4: もしもあるモンスターは確かめ為さるということはないとすると「それは清々しないが得られ難い」ということは本当である fact5: もしそのぴゆぴえLv.28が得られ難いか酒臭いならばそのぴゆぴえLv.28は清々するということはない fact6: 「そのぴゆぴえLv.28は得られ難い」ということは正しい ; $hypothesis$ = そのぴゆぴえLv.28は清々する ; $proof$ = 
fact6 -> int1: そのぴゆぴえLv.28は得られ難いかもしくはそれは酒臭い; int1 & fact5 -> hypothesis; __DISPROVED__
fact6 -> int1: ({A}{a} v {B}{a}); int1 & fact5 -> hypothesis; __DISPROVED__