「このみちゅみくLv.55はみっとも可愛くて生温い」ということは成り立たない
fact1: このぷにゅぷやLv.51は生温い fact2: 「このみちゅみくLv.55は取り切れるがしかしこりこりしない」ということは誤りだ fact3: このみちゅみくLv.55は御めでたい fact4: このみちゅみくLv.55がおっかしいとすればこのみちゅみくLv.55は掛かり易い fact5: もしもこのみちゅみくLv.55が掛かり易いなら生温い fact6: 仮に「このみちゅみくLv.55はおっかしくないしその上清しない」ということは成り立たないなら掛かり易い fact7: すべてのモンスターは引き難いかそれはみっとも可愛いかあるいは両方ともである fact8: このみちゅみくLv.55は御めでたいとすれば「このみちゅみくLv.55はおっかしくなくて加えて清しない」ということは間違っている fact9: このみちゅみくLv.55はみっとも可愛い
fact8 & fact3 -> int1: 「このみちゅみくLv.55はおっかしくないし加えてそれは清しということはない」ということは誤りだ; int1 & fact6 -> int2: このみちゅみくLv.55は掛かり易い; int2 & fact5 -> int3: このみちゅみくLv.55は生温い; int3 & fact9 -> hypothesis;
fact8 & fact3 -> int1: ¬(¬{AA}{a} & ¬{AB}{a}); int1 & fact6 -> int2: {B}{a}; int2 & fact5 -> int3: {C}{a}; int3 & fact9 -> hypothesis;
このまえまゆLv.5は生温い
fact10 -> int4: このみちゅみくLv.55は引き難いかもしくはみっとも可愛いかもしくは両方である;
$facts$ = fact1: このぷにゅぷやLv.51は生温い fact2: 「このみちゅみくLv.55は取り切れるがしかしこりこりしない」ということは誤りだ fact3: このみちゅみくLv.55は御めでたい fact4: このみちゅみくLv.55がおっかしいとすればこのみちゅみくLv.55は掛かり易い fact5: もしもこのみちゅみくLv.55が掛かり易いなら生温い fact6: 仮に「このみちゅみくLv.55はおっかしくないしその上清しない」ということは成り立たないなら掛かり易い fact7: すべてのモンスターは引き難いかそれはみっとも可愛いかあるいは両方ともである fact8: このみちゅみくLv.55は御めでたいとすれば「このみちゅみくLv.55はおっかしくなくて加えて清しない」ということは間違っている fact9: このみちゅみくLv.55はみっとも可愛い ; $hypothesis$ = 「このみちゅみくLv.55はみっとも可愛くて生温い」ということは成り立たない ; $proof$ = 
fact8 & fact3 -> int1: 「このみちゅみくLv.55はおっかしくないし加えてそれは清しということはない」ということは誤りだ; int1 & fact6 -> int2: このみちゅみくLv.55は掛かり易い; int2 & fact5 -> int3: このみちゅみくLv.55は生温い; int3 & fact9 -> hypothesis; __DISPROVED__
fact8 & fact3 -> int1: ¬(¬{AA}{a} & ¬{AB}{a}); int1 & fact6 -> int2: {B}{a}; int2 & fact5 -> int3: {C}{a}; int3 & fact9 -> hypothesis; __DISPROVED__