あのもねもちゃLv.28は長ける
fact1: 「あるモンスターは分かり難くないがしかし合い難い」ということは成り立たないならそれは長けない fact2: すべてのモンスターは長ける
fact2 -> int1: すべてのモンスターは長ける; int1 -> hypothesis;
fact2 -> int1: (x): {A}x; int1 -> hypothesis;
すべてのモンスターはか弱い
fact3 -> int2: 「あのもねもちゃLv.28は分かり難いということはないがそれは合い難い」ということは事実でないとしたらあのもねもちゃLv.28は長けない;
$facts$ = fact1: 「あるモンスターは分かり難くないがしかし合い難い」ということは成り立たないならそれは長けない fact2: すべてのモンスターは長ける ; $hypothesis$ = あのもねもちゃLv.28は長ける ; $proof$ = 
fact2 -> int1: すべてのモンスターは長ける; int1 -> hypothesis; __PROVED__
fact2 -> int1: (x): {A}x; int1 -> hypothesis; __PROVED__