「あのまやまにょLv.78は答え易くないし見付け易くない」ということは誤りである
fact1: もしも「あのまゆまちゃLv.90は差し出がましいということはなくてまた真白いということはない」ということは誤っていればあのまやまにょLv.78はそつ無くない fact2: 「そつ無くないモンスターはにやけなくて更に女の子らしくない」ということは確かだ fact3: あるモンスターは奥深い fact4: 奥深くないモンスターは答え易くなくて見付け易くない fact5: もし「あのまゆまちゃLv.90はにやけないけど女の子らしい」ということは誤りであるとすればそのぽちゃぽえLv.78はそつ無くない fact6: もしもそのぽちゃぽえLv.78はそつ無いということはないとすれば「あのまやまにょLv.78は答え易くないしさらに見付け易くない」ということは事実でない fact7: もし「とあるモンスターは奥深い」ということは成り立つとすると「あのまゆまちゃLv.90はにやけないがしかしそれは女の子らしい」ということは間違いである fact8: もしとあるモンスターはにやけるということはないし女の子らしくないならば奥深くない
fact3 & fact7 -> int1: 「あのまゆまちゃLv.90はにやけない一方で女の子らしい」ということは事実と異なる; int1 & fact5 -> int2: そのぽちゃぽえLv.78はそつ無くない; int2 & fact6 -> hypothesis;
fact3 & fact7 -> int1: ¬(¬{B}{a} & {C}{a}); int1 & fact5 -> int2: ¬{D}{b}; int2 & fact6 -> hypothesis;
あのまやまにょLv.78は答え易くないし見付け易くない
fact12 -> int3: あのまやまにょLv.78が奥深くないならあのまやまにょLv.78は答え易くなくて見付け易くない; fact11 -> int4: もし仮にあのまやまにょLv.78はにやけないし女の子らしくないとすれば奥深くない; fact10 -> int5: 仮にあのまやまにょLv.78はそつ無くないとすれば「あのまやまにょLv.78はにやけないし更にそれは女の子らしくない」ということは確かである;
$facts$ = fact1: もしも「あのまゆまちゃLv.90は差し出がましいということはなくてまた真白いということはない」ということは誤っていればあのまやまにょLv.78はそつ無くない fact2: 「そつ無くないモンスターはにやけなくて更に女の子らしくない」ということは確かだ fact3: あるモンスターは奥深い fact4: 奥深くないモンスターは答え易くなくて見付け易くない fact5: もし「あのまゆまちゃLv.90はにやけないけど女の子らしい」ということは誤りであるとすればそのぽちゃぽえLv.78はそつ無くない fact6: もしもそのぽちゃぽえLv.78はそつ無いということはないとすれば「あのまやまにょLv.78は答え易くないしさらに見付け易くない」ということは事実でない fact7: もし「とあるモンスターは奥深い」ということは成り立つとすると「あのまゆまちゃLv.90はにやけないがしかしそれは女の子らしい」ということは間違いである fact8: もしとあるモンスターはにやけるということはないし女の子らしくないならば奥深くない ; $hypothesis$ = 「あのまやまにょLv.78は答え易くないし見付け易くない」ということは誤りである ; $proof$ = 
fact3 & fact7 -> int1: 「あのまゆまちゃLv.90はにやけない一方で女の子らしい」ということは事実と異なる; int1 & fact5 -> int2: そのぽちゃぽえLv.78はそつ無くない; int2 & fact6 -> hypothesis; __PROVED__
fact3 & fact7 -> int1: ¬(¬{B}{a} & {C}{a}); int1 & fact5 -> int2: ¬{D}{b}; int2 & fact6 -> hypothesis; __PROVED__