「このもねもゆLv.74は取り掛かり易くないけれどうら若い」ということは確かであるということはない
fact1: 仮に「そのもちゅもわLv.57は堪り易いかもしくは拭き始める」ということは成り立たないとしたらそのぷやぷくLv.94は取り掛かり易くない fact2: もしもなにがしかのモンスターは厚かましいということはないとしたら「それは取り掛かり易くないしうら若い」ということは成り立つということはない fact3: 仮に「そのもちゅもわLv.57は取り掛かり易いかまたはそれは堪り易くないかあるいはどちらもだ」ということは成り立たないならばそのぷやぷくLv.94は拭き始めない fact4: 「そのもちゅもわLv.57は堪り易いかそれは拭き始めない」ということは間違いである fact5: このもねもゆLv.74は安くない fact6: 「そのもちゅもわLv.57は堪り易いかあるいは拭き始めない」ということは誤りならそのぷやぷくLv.94は取り掛かり易くない fact7: もし仮にそのぷやぷくLv.94が取り掛かり易くないとするとこのもねもゆLv.74はうら若い
fact6 & fact4 -> int1: そのぷやぷくLv.94は取り掛かり易くない;
fact6 & fact4 -> int1: ¬{B}{b};
「このもねもゆLv.74は取り掛かり易くないけれどうら若い」ということは確かであるということはない
fact8 -> int2: もし「そのもちゅもわLv.57は厚かましくない」ということは本当だとしたら「そのもちゅもわLv.57は取り掛かり易くないけれどうら若い」ということは誤りだ;
$facts$ = fact1: 仮に「そのもちゅもわLv.57は堪り易いかもしくは拭き始める」ということは成り立たないとしたらそのぷやぷくLv.94は取り掛かり易くない fact2: もしもなにがしかのモンスターは厚かましいということはないとしたら「それは取り掛かり易くないしうら若い」ということは成り立つということはない fact3: 仮に「そのもちゅもわLv.57は取り掛かり易いかまたはそれは堪り易くないかあるいはどちらもだ」ということは成り立たないならばそのぷやぷくLv.94は拭き始めない fact4: 「そのもちゅもわLv.57は堪り易いかそれは拭き始めない」ということは間違いである fact5: このもねもゆLv.74は安くない fact6: 「そのもちゅもわLv.57は堪り易いかあるいは拭き始めない」ということは誤りならそのぷやぷくLv.94は取り掛かり易くない fact7: もし仮にそのぷやぷくLv.94が取り掛かり易くないとするとこのもねもゆLv.74はうら若い ; $hypothesis$ = 「このもねもゆLv.74は取り掛かり易くないけれどうら若い」ということは確かであるということはない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__