そのぷにゅぷなLv.12は伝わり難くない
fact1: もしもあのまにゃまちゃLv.71は根気良いなら「それは嘘っぽい一方で仰け反るということはない」ということは誤りだ fact2: もしなにがしかのモンスターは倒れ難くないなら「それは根気良いかもしくはそれは田舎っぽい」ということは成り立たない fact3: あのまにゃまちゃLv.71は根気良い fact4: もし「何らかのモンスターは根気良いかもしくはそれは田舎っぽい」ということは成り立たないとすればそれは伝わり難いということはない fact5: もし仮にあのもゆもいLv.18が倒れ難くないならばそのぷにゅぷなLv.12は現われ難くないが言い辛い fact6: もしあのまにゃまちゃLv.71が田舎っぽくないとするとあのもゆもいLv.18は倒れ難くない fact7: そのぷにゅぷなLv.12は現われ難くない fact8: もしも「「あのまにゃまちゃLv.71は嘘っぽいがしかし仰け反らない」ということは成り立つ」ということは成り立つということはないとしたらあのまにゃまちゃLv.71は田舎っぽくない
fact1 & fact3 -> int1: 「あのまにゃまちゃLv.71は嘘っぽいけど仰け反らない」ということは誤りである; int1 & fact8 -> int2: あのまにゃまちゃLv.71は田舎っぽくない; int2 & fact6 -> int3: あのもゆもいLv.18は倒れ難くない; int3 & fact5 -> int4: そのぷにゅぷなLv.12は現われ難くないけど言い辛い;
fact1 & fact3 -> int1: ¬({AA}{a} & ¬{AB}{a}); int1 & fact8 -> int2: ¬{B}{a}; int2 & fact6 -> int3: ¬{C}{b}; int3 & fact5 -> int4: (¬{D}{c} & {E}{c});
そのぷにゅぷなLv.12は伝わり難くない
fact10 -> int5: もしも「そのぷにゅぷなLv.12は根気良いか田舎っぽい」ということは間違っているとすれば「そのぷにゅぷなLv.12は伝わり難いということはない」ということは成り立つ; fact9 -> int6: もしそのぷにゅぷなLv.12は倒れ難くないとすれば「それは根気良いかもしくはそれは田舎っぽいかあるいは両方である」ということは偽である;
$facts$ = fact1: もしもあのまにゃまちゃLv.71は根気良いなら「それは嘘っぽい一方で仰け反るということはない」ということは誤りだ fact2: もしなにがしかのモンスターは倒れ難くないなら「それは根気良いかもしくはそれは田舎っぽい」ということは成り立たない fact3: あのまにゃまちゃLv.71は根気良い fact4: もし「何らかのモンスターは根気良いかもしくはそれは田舎っぽい」ということは成り立たないとすればそれは伝わり難いということはない fact5: もし仮にあのもゆもいLv.18が倒れ難くないならばそのぷにゅぷなLv.12は現われ難くないが言い辛い fact6: もしあのまにゃまちゃLv.71が田舎っぽくないとするとあのもゆもいLv.18は倒れ難くない fact7: そのぷにゅぷなLv.12は現われ難くない fact8: もしも「「あのまにゃまちゃLv.71は嘘っぽいがしかし仰け反らない」ということは成り立つ」ということは成り立つということはないとしたらあのまにゃまちゃLv.71は田舎っぽくない ; $hypothesis$ = そのぷにゅぷなLv.12は伝わり難くない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__