このみにゃみちゃLv.48はしつこいし手緩い
fact1: もしもあるモンスターは消化し易くないとしたら覚え易くない fact2: 仮に「このみにゃみちゃLv.48は反応し易い」ということは事実だとするとそれは手緩い fact3: このみにゃみちゃLv.48はしつこい fact4: 仮に「なにがしかのモンスターは手緩くないかあるいはそれは覚え易くないかあるいは両方ともである」ということは間違いならそれは消化し易くない fact5: このみにゃみちゃLv.48は消化し易くない fact6: もし仮にこのみにゃみちゃLv.48が覚え易くないとすればこのみにゃみちゃLv.48は反応し易い
fact1 -> int1: もし仮にこのみにゃみちゃLv.48が消化し易くないとすればこのみにゃみちゃLv.48は覚え易くない; int1 & fact5 -> int2: 「このみにゃみちゃLv.48は覚え易くない」ということは誤りでない; int2 & fact6 -> int3: このみにゃみちゃLv.48は反応し易い; int3 & fact2 -> int4: このみにゃみちゃLv.48は手緩い; int4 & fact3 -> hypothesis;
fact1 -> int1: ¬{B}{aa} -> ¬{C}{aa}; int1 & fact5 -> int2: ¬{C}{aa}; int2 & fact6 -> int3: {A}{aa}; int3 & fact2 -> int4: {D}{aa}; int4 & fact3 -> hypothesis;
そのみちょみえLv.81はしつこい
fact7 -> int5: もしも「そのみちょみえLv.81は手緩くないか覚え易くないかもしくは両方だ」ということは成り立たないとすると消化し易いということはない;
$facts$ = fact1: もしもあるモンスターは消化し易くないとしたら覚え易くない fact2: 仮に「このみにゃみちゃLv.48は反応し易い」ということは事実だとするとそれは手緩い fact3: このみにゃみちゃLv.48はしつこい fact4: 仮に「なにがしかのモンスターは手緩くないかあるいはそれは覚え易くないかあるいは両方ともである」ということは間違いならそれは消化し易くない fact5: このみにゃみちゃLv.48は消化し易くない fact6: もし仮にこのみにゃみちゃLv.48が覚え易くないとすればこのみにゃみちゃLv.48は反応し易い ; $hypothesis$ = このみにゃみちゃLv.48はしつこいし手緩い ; $proof$ = 
fact1 -> int1: もし仮にこのみにゃみちゃLv.48が消化し易くないとすればこのみにゃみちゃLv.48は覚え易くない; int1 & fact5 -> int2: 「このみにゃみちゃLv.48は覚え易くない」ということは誤りでない; int2 & fact6 -> int3: このみにゃみちゃLv.48は反応し易い; int3 & fact2 -> int4: このみにゃみちゃLv.48は手緩い; int4 & fact3 -> hypothesis; __PROVED__
fact1 -> int1: ¬{B}{aa} -> ¬{C}{aa}; int1 & fact5 -> int2: ¬{C}{aa}; int2 & fact6 -> int3: {A}{aa}; int3 & fact2 -> int4: {D}{aa}; int4 & fact3 -> hypothesis; __PROVED__