「このぽにぽわLv.15は運転し易い」ということは事実である
fact1: 恭しいモンスターはすげなくない fact2: 仮にあのまちょまねLv.38が手痛いということはないとすればそのみくみにょLv.51は気付き難くないし忘れ易くない fact3: もし仮にこのぽにぽわLv.15が恭しいということはないとすればこのぽにぽわLv.15は恭しいということはなくてかつ忘れ易くない fact4: 仮にそのまちゃまちょLv.61は恭しいとすれば「このぽにぽわLv.15は恭しい」ということは確かである fact5: このぽにぽわLv.15が恭しくなくてそれが忘れ易くないならば運転し易い fact6: もし仮にあのまちょまねLv.38が気付き難いとすればこのぽにぽわLv.15は扱き混ぜる fact7: 仮に「そのぴちゃぴにょLv.8は扱き混ぜるか手痛くないかまたはどちらもである」ということは成り立たないとしたらあのまちょまねLv.38は手痛くない fact8: もしこのぽにぽわLv.15が扱き混ぜるかもしくはすげないならこのぽにぽわLv.15は恭しくない fact9: あのまちょまねLv.38は気付き難いかもしくは手痛い
そのみくみにょLv.51は忘れ易いということはない
fact12 -> int1: もし仮にこのぽにぽわLv.15が恭しいとすればこのぽにぽわLv.15はすげなくない;
$facts$ = fact1: 恭しいモンスターはすげなくない fact2: 仮にあのまちょまねLv.38が手痛いということはないとすればそのみくみにょLv.51は気付き難くないし忘れ易くない fact3: もし仮にこのぽにぽわLv.15が恭しいということはないとすればこのぽにぽわLv.15は恭しいということはなくてかつ忘れ易くない fact4: 仮にそのまちゃまちょLv.61は恭しいとすれば「このぽにぽわLv.15は恭しい」ということは確かである fact5: このぽにぽわLv.15が恭しくなくてそれが忘れ易くないならば運転し易い fact6: もし仮にあのまちょまねLv.38が気付き難いとすればこのぽにぽわLv.15は扱き混ぜる fact7: 仮に「そのぴちゃぴにょLv.8は扱き混ぜるか手痛くないかまたはどちらもである」ということは成り立たないとしたらあのまちょまねLv.38は手痛くない fact8: もしこのぽにぽわLv.15が扱き混ぜるかもしくはすげないならこのぽにぽわLv.15は恭しくない fact9: あのまちょまねLv.38は気付き難いかもしくは手痛い ; $hypothesis$ = 「このぽにぽわLv.15は運転し易い」ということは事実である ; $proof$ = 
__UNKNOWN__
__UNKNOWN__