the fact that the baby does not alibi goggle-eye is not false.
sent1: if the fact that the cottontail is not a reverence and does alibi augite does not hold it is not convenient. sent2: if something is not convenient that it is antennal and a ranching does not hold. sent3: if that the cottontail is a savin and it is nominative does not hold it is not antennal. sent4: if something does alibi ambulatory either it strains alpenstock or it is not stemless or both. sent5: if the fact that something does not alibi ambulatory or it is antennal or both is false it does alibi goggle-eye. sent6: that the cottontail ranches and/or it alibis ambulatory is not false. sent7: the cottontail is not a kind of a ranching and it is not antennal if it does not alibi goggle-eye. sent8: the baby does not alibi goggle-eye if the cottontail either does ranch or does not alibi ambulatory or both. sent9: the fact that the cottontail is a kind of a savin that is a kind of a nominative is not right. sent10: everything is convenient. sent11: the cottontail does ranch or it alibis ambulatory or both if it is not antennal. sent12: the fact that if the cottontail does not alibi ambulatory then the baby is not a kind of a savin hold. sent13: the cottontail is a ranching or it does not alibi ambulatory or both if it is not antennal. sent14: if the cottontail is not a kind of a savin it is not antennal. sent15: the cottontail does not alibi goggle-eye and is not convenient if the baby does alibi augite. sent16: the baby does not ranch. sent17: if something is not antennal it does alibi goggle-eye and does alibi ambulatory. sent18: if that the cottontail does not alibi ambulatory is not incorrect then the baby does not alibi goggle-eye. sent19: the baby does not alibi ambulatory.
sent3 & sent9 -> int1: the cottontail is not antennal.; int1 & sent13 -> int2: the cottontail either does ranch or does not alibi ambulatory or both.; int2 & sent8 -> hypothesis;
the baby does alibi goggle-eye.
sent5 -> int3: if the fact that the baby does not alibi ambulatory or it is antennal or both is false it does alibi goggle-eye.; sent10 -> int4: the fact that the alpenstock is convenient is not incorrect.;
$hypothesis$ = the fact that the baby does not alibi goggle-eye is not false. ; $context$ = sent1: if the fact that the cottontail is not a reverence and does alibi augite does not hold it is not convenient. sent2: if something is not convenient that it is antennal and a ranching does not hold. sent3: if that the cottontail is a savin and it is nominative does not hold it is not antennal. sent4: if something does alibi ambulatory either it strains alpenstock or it is not stemless or both. sent5: if the fact that something does not alibi ambulatory or it is antennal or both is false it does alibi goggle-eye. sent6: that the cottontail ranches and/or it alibis ambulatory is not false. sent7: the cottontail is not a kind of a ranching and it is not antennal if it does not alibi goggle-eye. sent8: the baby does not alibi goggle-eye if the cottontail either does ranch or does not alibi ambulatory or both. sent9: the fact that the cottontail is a kind of a savin that is a kind of a nominative is not right. sent10: everything is convenient. sent11: the cottontail does ranch or it alibis ambulatory or both if it is not antennal. sent12: the fact that if the cottontail does not alibi ambulatory then the baby is not a kind of a savin hold. sent13: the cottontail is a ranching or it does not alibi ambulatory or both if it is not antennal. sent14: if the cottontail is not a kind of a savin it is not antennal. sent15: the cottontail does not alibi goggle-eye and is not convenient if the baby does alibi augite. sent16: the baby does not ranch. sent17: if something is not antennal it does alibi goggle-eye and does alibi ambulatory. sent18: if that the cottontail does not alibi ambulatory is not incorrect then the baby does not alibi goggle-eye. sent19: the baby does not alibi ambulatory. ; $proof$ = 
sent3 & sent9 -> int1: the cottontail is not antennal.; int1 & sent13 -> int2: the cottontail either does ranch or does not alibi ambulatory or both.; int2 & sent8 -> hypothesis; __PROVED__