あのもにょもなLv.72は青っぽい
fact1: もし卑しないモンスターが乗り易いならばそれは青っぽくない fact2: すべてのモンスターは図り難い fact3: すべてのモンスターはつべたい
「あのもにょもなLv.72は青っぽくない」ということは確かである
fact4 -> int1: もし仮にあのもにょもなLv.72が卑しない一方で乗り易いなら青っぽくない;
$facts$ = fact1: もし卑しないモンスターが乗り易いならばそれは青っぽくない fact2: すべてのモンスターは図り難い fact3: すべてのモンスターはつべたい ; $hypothesis$ = あのもにょもなLv.72は青っぽい ; $proof$ = 
__UNKNOWN__
__UNKNOWN__