あのぴにゅぴゆLv.78は生じ易いということはない
fact1: 「あのみいみゆLv.22は可笑しい」ということは事実である fact2: もしもあのみいみゆLv.22が暗いとしたらあのぴにゅぴゆLv.78は御話する fact3: あのぴにゅぴゆLv.78が御話するしそれがこよないなら生じ易くない fact4: もしもあのみいみゆLv.22が生じ易いとすればそのぽのぽにゅLv.31は生じ易い fact5: もし仮に「あのみいみゆLv.22は当たり前過ぎる」ということは正しいならばあのぴにゅぴゆLv.78は御話する fact6: 「あのぴにゃぴなLv.82は御話しない」ということは本当だ fact7: あのみいみゆLv.22は暗いかもしくは当たり前過ぎる
fact7 & fact2 & fact5 -> int1: 「あのぴにゅぴゆLv.78は御話しない」ということは成り立たない;
fact7 & fact2 & fact5 -> int1: {C}{c};
そのぽのぽにゅLv.31は生じ易い
$facts$ = fact1: 「あのみいみゆLv.22は可笑しい」ということは事実である fact2: もしもあのみいみゆLv.22が暗いとしたらあのぴにゅぴゆLv.78は御話する fact3: あのぴにゅぴゆLv.78が御話するしそれがこよないなら生じ易くない fact4: もしもあのみいみゆLv.22が生じ易いとすればそのぽのぽにゅLv.31は生じ易い fact5: もし仮に「あのみいみゆLv.22は当たり前過ぎる」ということは正しいならばあのぴにゅぴゆLv.78は御話する fact6: 「あのぴにゃぴなLv.82は御話しない」ということは本当だ fact7: あのみいみゆLv.22は暗いかもしくは当たり前過ぎる ; $hypothesis$ = あのぴにゅぴゆLv.78は生じ易いということはない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__