the axolotl is a maleficence and it is nonruminant.
sent1: the axolotl is nonruminant if there is something such that the fact that it is both not a disquieted and not non-hooflike is false. sent2: there is something such that the fact that it is not a disquieted and it is hooflike does not hold. sent3: the axolotl is a maleficence and is not shrinkable. sent4: there is something such that it is not a disquieted and it is hooflike. sent5: the axolotl is not shrinkable.
sent2 & sent1 -> int1: the axolotl is nonruminant.; sent3 -> int2: the axolotl is a maleficence.; int1 & int2 -> hypothesis;
$hypothesis$ = the axolotl is a maleficence and it is nonruminant. ; $context$ = sent1: the axolotl is nonruminant if there is something such that the fact that it is both not a disquieted and not non-hooflike is false. sent2: there is something such that the fact that it is not a disquieted and it is hooflike does not hold. sent3: the axolotl is a maleficence and is not shrinkable. sent4: there is something such that it is not a disquieted and it is hooflike. sent5: the axolotl is not shrinkable. ; $proof$ = 
sent2 & sent1 -> int1: the axolotl is nonruminant.; sent3 -> int2: the axolotl is a maleficence.; int1 & int2 -> hypothesis; __PROVED__