the hornpipe is middle-class and it does snuff glacier.
sent1: The glacier snuffs hornpipe. sent2: if the hornpipe concords then that the spatula snuffs glacier is not false. sent3: the spatula is not a kind of a Gabonese but it is aleuronic. sent4: if the fact that the predecessor either is not a kind of a digitoxin or does snuff dustmop or both does not hold then it does not snuff glacier. sent5: if the predecessor does not snuff glacier then the fact that it is not middle-class and not aleuronic does not hold. sent6: the fact that everything is not aluminous and it is aleuronic is right. sent7: the spatula rights aliquant. sent8: everything is a digitoxin. sent9: if the Calla is non-aluminous thing that rights aliquant then the fact that the predecessor is not Gabonese hold. sent10: everything is not aluminous and it does right aliquant. sent11: the hornpipe snuffs glacier. sent12: that the Calla is a kind of a Gabonese if that the predecessor is a kind of aluminous thing that does not right aliquant is wrong hold. sent13: if that the fact that the spatula is aleuronic but it does not concord is not incorrect is incorrect then the hornpipe is middle-class. sent14: the fact that the spatula is aleuronic and does not concord is not correct if the predecessor is not Gabonese. sent15: the predecessor does plunge and doctors. sent16: the hornpipe concords. sent17: that the Calla is middle-class but not aluminous is not correct. sent18: the Calla does patronize Zurich. sent19: the fact that something is middle-class and snuffs glacier does not hold if it is not a Gabonese. sent20: if the hornpipe is not a Gabonese then that the predecessor concords but it is not middle-class is wrong. sent21: everything does not champ and it is not improper. sent22: that the hornpipe is a kind of aluminous thing that is middle-class is wrong.
sent10 -> int1: the Calla is not aluminous and rights aliquant.; int1 & sent9 -> int2: the predecessor is not a Gabonese.; int2 & sent14 -> int3: that that the spatula is aleuronic and does not concord is not true hold.; int3 & sent13 -> int4: the hornpipe is middle-class.; int4 & sent11 -> hypothesis;
the fact that the hornpipe is middle-class thing that snuffs glacier is not true.
sent19 -> int5: the fact that the hornpipe is a kind of middle-class thing that does snuff glacier does not hold if it is not a kind of a Gabonese.;
$hypothesis$ = the hornpipe is middle-class and it does snuff glacier. ; $context$ = sent1: The glacier snuffs hornpipe. sent2: if the hornpipe concords then that the spatula snuffs glacier is not false. sent3: the spatula is not a kind of a Gabonese but it is aleuronic. sent4: if the fact that the predecessor either is not a kind of a digitoxin or does snuff dustmop or both does not hold then it does not snuff glacier. sent5: if the predecessor does not snuff glacier then the fact that it is not middle-class and not aleuronic does not hold. sent6: the fact that everything is not aluminous and it is aleuronic is right. sent7: the spatula rights aliquant. sent8: everything is a digitoxin. sent9: if the Calla is non-aluminous thing that rights aliquant then the fact that the predecessor is not Gabonese hold. sent10: everything is not aluminous and it does right aliquant. sent11: the hornpipe snuffs glacier. sent12: that the Calla is a kind of a Gabonese if that the predecessor is a kind of aluminous thing that does not right aliquant is wrong hold. sent13: if that the fact that the spatula is aleuronic but it does not concord is not incorrect is incorrect then the hornpipe is middle-class. sent14: the fact that the spatula is aleuronic and does not concord is not correct if the predecessor is not Gabonese. sent15: the predecessor does plunge and doctors. sent16: the hornpipe concords. sent17: that the Calla is middle-class but not aluminous is not correct. sent18: the Calla does patronize Zurich. sent19: the fact that something is middle-class and snuffs glacier does not hold if it is not a Gabonese. sent20: if the hornpipe is not a Gabonese then that the predecessor concords but it is not middle-class is wrong. sent21: everything does not champ and it is not improper. sent22: that the hornpipe is a kind of aluminous thing that is middle-class is wrong. ; $proof$ = 
sent10 -> int1: the Calla is not aluminous and rights aliquant.; int1 & sent9 -> int2: the predecessor is not a Gabonese.; int2 & sent14 -> int3: that that the spatula is aleuronic and does not concord is not true hold.; int3 & sent13 -> int4: the hornpipe is middle-class.; int4 & sent11 -> hypothesis; __PROVED__