there is something such that if it does not ring that it is a tangerine and it is not quantal does not hold.
sent1: there exists something such that if it does film then that it does refrain Albatrellus and it is not an oxford is not true. sent2: the fact that something swings and is not behavioristic is false if it does not dismiss. sent3: if something is not a kind of a rings the fact that it is a kind of a tangerine and it is not quantal is not right. sent4: that something is a tangerine but it is not a Lemnaceae is incorrect if it is not a Celt. sent5: the fact that the whittler gorges enzymologist but it is not a rings is not correct if it does not hobble. sent6: there exists something such that if it does anastomose that it is hypercatalectic and it does not dismiss is false. sent7: there is something such that if it does not assemble stigmatization the fact that it is a kind of a pater and is a globe is not right. sent8: the fact that the copper is a mug that is not a fishpond is false if it is not a tangerine. sent9: if the streetlight is not cytophotometric that it is quantal and it is a channel is wrong. sent10: there exists something such that if it does not dismiss then the fact that it is cadastral thing that does not land Google is false. sent11: there exists something such that if it does gorge parsley then that it is a drapery and is not a Chamaecytisus is incorrect. sent12: there is something such that if it does not refrain duel then that it is hypercatalectic and a swing does not hold. sent13: that something is both a tangerine and not quantal does not hold if it does ring. sent14: something is Estonian and not an imprinting if it is not a kind of an icing. sent15: if something is not postictal then that it refrains allowance and is not a kind of a Mozambican is incorrect. sent16: that the copper is a tangerine and a crenel is false if it is not a Desmidiaceae. sent17: that the copper is a kind of a tangerine that alternates does not hold if it is not a kind of an insecurity.
sent3 -> int1: the fact that the copper is a tangerine that is non-quantal is not true if it is not a kind of a rings.; int1 -> hypothesis;
if the drunk-and-disorderly is not a Celt that it is both a tangerine and not a Lemnaceae is not true.
sent4 -> hypothesis;
$hypothesis$ = there is something such that if it does not ring that it is a tangerine and it is not quantal does not hold. ; $context$ = sent1: there exists something such that if it does film then that it does refrain Albatrellus and it is not an oxford is not true. sent2: the fact that something swings and is not behavioristic is false if it does not dismiss. sent3: if something is not a kind of a rings the fact that it is a kind of a tangerine and it is not quantal is not right. sent4: that something is a tangerine but it is not a Lemnaceae is incorrect if it is not a Celt. sent5: the fact that the whittler gorges enzymologist but it is not a rings is not correct if it does not hobble. sent6: there exists something such that if it does anastomose that it is hypercatalectic and it does not dismiss is false. sent7: there is something such that if it does not assemble stigmatization the fact that it is a kind of a pater and is a globe is not right. sent8: the fact that the copper is a mug that is not a fishpond is false if it is not a tangerine. sent9: if the streetlight is not cytophotometric that it is quantal and it is a channel is wrong. sent10: there exists something such that if it does not dismiss then the fact that it is cadastral thing that does not land Google is false. sent11: there exists something such that if it does gorge parsley then that it is a drapery and is not a Chamaecytisus is incorrect. sent12: there is something such that if it does not refrain duel then that it is hypercatalectic and a swing does not hold. sent13: that something is both a tangerine and not quantal does not hold if it does ring. sent14: something is Estonian and not an imprinting if it is not a kind of an icing. sent15: if something is not postictal then that it refrains allowance and is not a kind of a Mozambican is incorrect. sent16: that the copper is a tangerine and a crenel is false if it is not a Desmidiaceae. sent17: that the copper is a kind of a tangerine that alternates does not hold if it is not a kind of an insecurity. ; $proof$ = 
sent3 -> int1: the fact that the copper is a tangerine that is non-quantal is not true if it is not a kind of a rings.; int1 -> hypothesis; __PROVED__