あのもなもわLv.76は叩頭するかあるいはそれは宜し
fact1: このぴにゃぴねLv.33は宜しか生じ易い fact2: 仮に「このぴにゃぴねLv.33は生じ易い」ということは事実ならあのもなもわLv.76は叩頭する fact3: すべてのモンスターは実現し得ない fact4: 「このまのまやLv.91は生じ易い」ということは真実である fact5: このぴにゃぴねLv.33は叩頭する fact6: とあるモンスターは実現し得ないならば「無声化し易くないしまたそれは行儀良い」ということは成り立たない fact7: このぴにゃぴねLv.33は生じ易い
fact2 & fact7 -> int1: あのもなもわLv.76は叩頭する; int1 -> hypothesis;
fact2 & fact7 -> int1: {B}{b}; int1 -> hypothesis;
「あのもなもわLv.76は叩頭するか宜し」ということは嘘である
fact9 -> int2: このぴにゃぴねLv.33は実現し得ない; fact8 -> int3: もし「このぴにゃぴねLv.33は実現し得ない」ということは本当ならば「このぴにゃぴねLv.33は無声化し易いということはないがしかし行儀良い」ということは真実であるということはない; int2 & int3 -> int4: 「このぴにゃぴねLv.33は無声化し易くない一方で行儀良い」ということは成り立たない;
$facts$ = fact1: このぴにゃぴねLv.33は宜しか生じ易い fact2: 仮に「このぴにゃぴねLv.33は生じ易い」ということは事実ならあのもなもわLv.76は叩頭する fact3: すべてのモンスターは実現し得ない fact4: 「このまのまやLv.91は生じ易い」ということは真実である fact5: このぴにゃぴねLv.33は叩頭する fact6: とあるモンスターは実現し得ないならば「無声化し易くないしまたそれは行儀良い」ということは成り立たない fact7: このぴにゃぴねLv.33は生じ易い ; $hypothesis$ = あのもなもわLv.76は叩頭するかあるいはそれは宜し ; $proof$ = 
fact2 & fact7 -> int1: あのもなもわLv.76は叩頭する; int1 -> hypothesis; __PROVED__
fact2 & fact7 -> int1: {B}{b}; int1 -> hypothesis; __PROVED__