「あのもにゅもわLv.48は歯痒いかもしくは迷信深い」ということは誤っている
fact1: 「もしとあるモンスターは迷信深くないなら「それは増え難いかあるいはまどろっこしいかあるいはどちらもだ」ということは間違いである」ということは事実だ fact2: 仮にあのもにゅもわLv.48はまどろっこしくらないとすると「あのもにゅもわLv.48は騒がすしその上旨し」ということは成り立つということはない fact3: あのもにゅもわLv.48はまどろっこしくらない fact4: もしもそのもよもにゃLv.20が薄明るくないとすれば旨しない fact5: 「あのもにゅもわLv.48は旨ししそれに熱い」ということは成り立たない fact6: もしも「あのもにゅもわLv.48は騒がすしおまけに旨し」ということは間違っているとするとそれは迷信深くない fact7: もしもあのもにゅもわLv.48は迷信深くないとしたら「あのもにゅもわLv.48は自覚出来るかもしくは迷信深いかあるいは両方だ」ということは成り立たない fact8: あのもにゅもわLv.48は迷信深いということはないとすると「それは歯痒いかあるいはそれは迷信深い」ということは成り立たない
fact2 & fact3 -> int1: 「あのもにゅもわLv.48は騒がすし旨し」ということは誤りだ; int1 & fact6 -> int2: あのもにゅもわLv.48は迷信深くない; int2 & fact8 -> hypothesis;
fact2 & fact3 -> int1: ¬({AA}{a} & {AB}{a}); int1 & fact6 -> int2: ¬{B}{a}; int2 & fact8 -> hypothesis;
「そのぴにゃぴちょLv.18は増え難いかまたはまどろっこしいか両方ともだ」ということは嘘だ
fact9 -> int3: もしもそのぴにゃぴちょLv.18は迷信深いということはないとすれば「増え難いかまたはまどろっこしいかあるいは両方だ」ということは偽だ;
$facts$ = fact1: 「もしとあるモンスターは迷信深くないなら「それは増え難いかあるいはまどろっこしいかあるいはどちらもだ」ということは間違いである」ということは事実だ fact2: 仮にあのもにゅもわLv.48はまどろっこしくらないとすると「あのもにゅもわLv.48は騒がすしその上旨し」ということは成り立つということはない fact3: あのもにゅもわLv.48はまどろっこしくらない fact4: もしもそのもよもにゃLv.20が薄明るくないとすれば旨しない fact5: 「あのもにゅもわLv.48は旨ししそれに熱い」ということは成り立たない fact6: もしも「あのもにゅもわLv.48は騒がすしおまけに旨し」ということは間違っているとするとそれは迷信深くない fact7: もしもあのもにゅもわLv.48は迷信深くないとしたら「あのもにゅもわLv.48は自覚出来るかもしくは迷信深いかあるいは両方だ」ということは成り立たない fact8: あのもにゅもわLv.48は迷信深いということはないとすると「それは歯痒いかあるいはそれは迷信深い」ということは成り立たない ; $hypothesis$ = 「あのもにゅもわLv.48は歯痒いかもしくは迷信深い」ということは誤っている ; $proof$ = 
fact2 & fact3 -> int1: 「あのもにゅもわLv.48は騒がすし旨し」ということは誤りだ; int1 & fact6 -> int2: あのもにゅもわLv.48は迷信深くない; int2 & fact8 -> hypothesis; __PROVED__
fact2 & fact3 -> int1: ¬({AA}{a} & {AB}{a}); int1 & fact6 -> int2: ¬{B}{a}; int2 & fact8 -> hypothesis; __PROVED__