あのまにゃまちょLv.51は乗り易い
fact1: もしもあのまにゃまちょLv.51は心弱いとすれば「あのまにゃまちょLv.51は心掛けないし吸収され難くない」ということは間違いである fact2: 重苦しくないモンスターは乗り易くなくて田舎臭くない fact3: そのぴわぴにゅLv.79は田舎臭くない fact4: もしもそのぴわぴにゅLv.79は田舎臭くないなら「あのまやまゆLv.66はひょろ長くないか考え深くないか両方ともだ」ということは偽だ fact5: このぴにょぴにゅLv.79が重苦しくないならこのぴのぴにょLv.76は心掛けるし更に吸収され難い fact6: もし仮に「なにがしかのモンスターは心掛けなくて吸収され難くない」ということは間違っているとしたら重苦しくない fact7: 瑞々しいモンスターは心弱い fact8: このぴのぴにょLv.76が心掛けるならあのまにゃまちょLv.51は乗り易い fact9: もし仮に「あのまやまゆLv.66はひょろ長くないかもしくは考え深くないかまたは両方だ」ということは間違いであるならこのぴにょぴにゅLv.79は重苦しくない
fact4 & fact3 -> int1: 「あのまやまゆLv.66はひょろ長くないかもしくはそれは考え深くない」ということは誤っている; int1 & fact9 -> int2: このぴにょぴにゅLv.79は重苦しくない; int2 & fact5 -> int3: このぴのぴにょLv.76は心掛けるし吸収され難い; int3 -> int4: このぴのぴにょLv.76は心掛ける; int4 & fact8 -> hypothesis;
fact4 & fact3 -> int1: ¬(¬{AA}{b} v ¬{AB}{b}); int1 & fact9 -> int2: ¬{B}{c}; int2 & fact5 -> int3: ({D}{d} & {C}{d}); int3 -> int4: {D}{d}; int4 & fact8 -> hypothesis;
あのまにゃまちょLv.51は乗り易くない
fact13 -> int5: もしあのまにゃまちょLv.51が重苦しいということはないとするとあのまにゃまちょLv.51は乗り易くなくてまた田舎臭いということはない; fact10 -> int6: もし「あのまにゃまちょLv.51は心掛けなくてまた吸収され難くない」ということは成り立たないならばそれは重苦しくない; fact11 -> int7: もしも「あのまにゃまちょLv.51は瑞々しい」ということは本当ならばあのまにゃまちょLv.51は心弱い;
$facts$ = fact1: もしもあのまにゃまちょLv.51は心弱いとすれば「あのまにゃまちょLv.51は心掛けないし吸収され難くない」ということは間違いである fact2: 重苦しくないモンスターは乗り易くなくて田舎臭くない fact3: そのぴわぴにゅLv.79は田舎臭くない fact4: もしもそのぴわぴにゅLv.79は田舎臭くないなら「あのまやまゆLv.66はひょろ長くないか考え深くないか両方ともだ」ということは偽だ fact5: このぴにょぴにゅLv.79が重苦しくないならこのぴのぴにょLv.76は心掛けるし更に吸収され難い fact6: もし仮に「なにがしかのモンスターは心掛けなくて吸収され難くない」ということは間違っているとしたら重苦しくない fact7: 瑞々しいモンスターは心弱い fact8: このぴのぴにょLv.76が心掛けるならあのまにゃまちょLv.51は乗り易い fact9: もし仮に「あのまやまゆLv.66はひょろ長くないかもしくは考え深くないかまたは両方だ」ということは間違いであるならこのぴにょぴにゅLv.79は重苦しくない ; $hypothesis$ = あのまにゃまちょLv.51は乗り易い ; $proof$ = 
fact4 & fact3 -> int1: 「あのまやまゆLv.66はひょろ長くないかもしくはそれは考え深くない」ということは誤っている; int1 & fact9 -> int2: このぴにょぴにゅLv.79は重苦しくない; int2 & fact5 -> int3: このぴのぴにょLv.76は心掛けるし吸収され難い; int3 -> int4: このぴのぴにょLv.76は心掛ける; int4 & fact8 -> hypothesis; __PROVED__
fact4 & fact3 -> int1: ¬(¬{AA}{b} v ¬{AB}{b}); int1 & fact9 -> int2: ¬{B}{c}; int2 & fact5 -> int3: ({D}{d} & {C}{d}); int3 -> int4: {D}{d}; int4 & fact8 -> hypothesis; __PROVED__