あのもちょもよLv.95は出し難い
fact1: もし仮にあのもちょもよLv.95が壊れ難くてさらに冷蔵するとするとあのもちょもよLv.95は出し難くない fact2: もしあのぽいぽなLv.8が壊れ難いとするとあのもちょもよLv.95は壊れ難い fact3: あのぽいぽなLv.8は壊れ難いし覚え易い fact4: すべてのモンスターはわりない
あのもちょもよLv.95は出し難くない
fact5 -> int1: あのぽいぽなLv.8は壊れ難い; fact7 & int1 -> int2: あのもちょもよLv.95は壊れ難い;
$facts$ = fact1: もし仮にあのもちょもよLv.95が壊れ難くてさらに冷蔵するとするとあのもちょもよLv.95は出し難くない fact2: もしあのぽいぽなLv.8が壊れ難いとするとあのもちょもよLv.95は壊れ難い fact3: あのぽいぽなLv.8は壊れ難いし覚え易い fact4: すべてのモンスターはわりない ; $hypothesis$ = あのもちょもよLv.95は出し難い ; $proof$ = 
__UNKNOWN__
__UNKNOWN__