このみなみゆLv.45は消化し易くないしかつ嘘付けるということはない
fact1: もしあのみちゃみやLv.89は消化し易いということはないとすると「このみなみゆLv.45は消化し易くなくておまけに嘘付けない」ということは成り立たない fact2: もしも切り難くないモンスターが書き難くないとすればそれは夥しくない fact3: あのみちゃみやLv.89は夥しい fact4: あのみちゃみやLv.89は切り難い fact5: 仮にこのみなみゆLv.45は起こし難くないとすると「このみなみゆLv.45は灰色っぽいけれど書き難くない」ということは間違っている fact6: 仮にあのみちゃみやLv.89が夥しいしおまけに切り難いならあのみちゃみやLv.89は消化し易くない fact7: もし仮に「とあるモンスターは灰色っぽいモンスターであっておまけに書き難いということはない」ということは正しくないなら嘘付けない
fact3 & fact4 -> int1: あのみちゃみやLv.89は夥しくておまけに切り難い; int1 & fact6 -> int2: 「あのみちゃみやLv.89は消化し易くない」ということは事実だ; int2 & fact1 -> hypothesis;
fact3 & fact4 -> int1: ({A}{a} & {B}{a}); int1 & fact6 -> int2: ¬{C}{a}; int2 & fact1 -> hypothesis;
このまゆまやLv.68は夥しくない
fact9 -> int3: もし仮に「このみなみゆLv.45は灰色っぽいけどそれは書き難くない」ということは間違っているなら嘘付けない;
$facts$ = fact1: もしあのみちゃみやLv.89は消化し易いということはないとすると「このみなみゆLv.45は消化し易くなくておまけに嘘付けない」ということは成り立たない fact2: もしも切り難くないモンスターが書き難くないとすればそれは夥しくない fact3: あのみちゃみやLv.89は夥しい fact4: あのみちゃみやLv.89は切り難い fact5: 仮にこのみなみゆLv.45は起こし難くないとすると「このみなみゆLv.45は灰色っぽいけれど書き難くない」ということは間違っている fact6: 仮にあのみちゃみやLv.89が夥しいしおまけに切り難いならあのみちゃみやLv.89は消化し易くない fact7: もし仮に「とあるモンスターは灰色っぽいモンスターであっておまけに書き難いということはない」ということは正しくないなら嘘付けない ; $hypothesis$ = このみなみゆLv.45は消化し易くないしかつ嘘付けるということはない ; $proof$ = 
fact3 & fact4 -> int1: あのみちゃみやLv.89は夥しくておまけに切り難い; int1 & fact6 -> int2: 「あのみちゃみやLv.89は消化し易くない」ということは事実だ; int2 & fact1 -> hypothesis; __DISPROVED__
fact3 & fact4 -> int1: ({A}{a} & {B}{a}); int1 & fact6 -> int2: ¬{C}{a}; int2 & fact1 -> hypothesis; __DISPROVED__