このまちゃまちゃLv.9は犯し易くない
fact1: すべてのモンスターは考え難くない fact2: 考え難くないモンスターは任用しないかまたは犯し易くないかどちらもだ fact3: 全てのモンスターは良い fact4: そのまくまなLv.36が怖いならこのまちゃまちゃLv.9は犯し易い fact5: もし仮に「何らかのモンスターは怖いし犯し易い」ということは成り立つということはないとすればそれは犯し易くない
このまちゃまちゃLv.9は犯し易くない
fact6 -> int1: 「もしも「このまちゃまちゃLv.9は怖いしかつ犯し易い」ということは成り立たないとすればこのまちゃまちゃLv.9は犯し易くない」ということは確かである;
$facts$ = fact1: すべてのモンスターは考え難くない fact2: 考え難くないモンスターは任用しないかまたは犯し易くないかどちらもだ fact3: 全てのモンスターは良い fact4: そのまくまなLv.36が怖いならこのまちゃまちゃLv.9は犯し易い fact5: もし仮に「何らかのモンスターは怖いし犯し易い」ということは成り立つということはないとすればそれは犯し易くない ; $hypothesis$ = このまちゃまちゃLv.9は犯し易くない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__