そのまちゃまにゃLv.57は取れ易くない一方でそれはかわゆい
fact1: そのまちゃまにゃLv.57は解け易い fact2: 「もしも「触知する」モンスターがいるとすればこのぽちょぽいLv.74は触知しないがしかしそれは如此し」ということは正しい fact3: もしもそのまちゃまにゃLv.57が混同し易いならばそのまちゃまにゃLv.57は取れ易くない fact4: そのぽよぽよLv.48は応接しないけど攻撃し易い fact5: そのまちゃまにゃLv.57はかわゆい fact6: そのまちゃまにゃLv.57はかわゆいかまたは壊れ易いかまたは両方である fact7: もし仮に「そのぽえぽにLv.6はかわゆくなくてかつそれは取れ易くない」ということは偽だとすればそのまちゃまにゃLv.57は混同し易いということはない fact8: もしもそのまちゃまにゃLv.57が解け易いかそれは混同し易いかあるいはどちらもであるとすれば取れ易いということはない
fact1 -> int1: そのまちゃまにゃLv.57は解け易いかあるいは混同し易いか両方ともである; int1 & fact8 -> int2: そのまちゃまにゃLv.57は取れ易くない; int2 & fact5 -> hypothesis;
fact1 -> int1: ({A}{a} v {B}{a}); int1 & fact8 -> int2: ¬{C}{a}; int2 & fact5 -> hypothesis;
このぽちょぽいLv.74は触知しないがしかし如此し
$facts$ = fact1: そのまちゃまにゃLv.57は解け易い fact2: 「もしも「触知する」モンスターがいるとすればこのぽちょぽいLv.74は触知しないがしかしそれは如此し」ということは正しい fact3: もしもそのまちゃまにゃLv.57が混同し易いならばそのまちゃまにゃLv.57は取れ易くない fact4: そのぽよぽよLv.48は応接しないけど攻撃し易い fact5: そのまちゃまにゃLv.57はかわゆい fact6: そのまちゃまにゃLv.57はかわゆいかまたは壊れ易いかまたは両方である fact7: もし仮に「そのぽえぽにLv.6はかわゆくなくてかつそれは取れ易くない」ということは偽だとすればそのまちゃまにゃLv.57は混同し易いということはない fact8: もしもそのまちゃまにゃLv.57が解け易いかそれは混同し易いかあるいはどちらもであるとすれば取れ易いということはない ; $hypothesis$ = そのまちゃまにゃLv.57は取れ易くない一方でそれはかわゆい ; $proof$ = 
fact1 -> int1: そのまちゃまにゃLv.57は解け易いかあるいは混同し易いか両方ともである; int1 & fact8 -> int2: そのまちゃまにゃLv.57は取れ易くない; int2 & fact5 -> hypothesis; __PROVED__
fact1 -> int1: ({A}{a} v {B}{a}); int1 & fact8 -> int2: ¬{C}{a}; int2 & fact5 -> hypothesis; __PROVED__