there is something such that if it does not chirr it is a bonsai and it does not misconstrue upholstery.
sent1: if something chirrs then it is a bonsai and it does not misconstrue upholstery. sent2: there exists something such that if it is not testicular then it skims F.I.S.C. and it is not non-explicit. sent3: there exists something such that if it is not a hereditarianism then it skims rind. sent4: something that does not depress unbars move and is not a kind of a Tripleurospermum. sent5: if the storm does not chirr then it is a kind of a airdock that does deduce Hungarian. sent6: there exists something such that if it moves then it dodges and it is not myotonic. sent7: there is something such that if the fact that it does chirr is not false it is a kind of a bonsai and it does not misconstrue upholstery. sent8: if that something does not chirr is not wrong it does not misconstrue upholstery. sent9: there is something such that if it is not a Dacrydium then it is a launderette and is not non-hypertonic. sent10: there exists something such that if it is not xenogeneic then it is a thirteen that does not deduce topmast. sent11: if the insomniac does not unbar luffa then it is a bonsai that does misconstrue Trafalgar. sent12: if the storm chirrs it is a bonsai that does not misconstrue upholstery. sent13: if the storm does unbar minefield then it does dodge and it does not chirr. sent14: there exists something such that if it does not chirr then it does not misconstrue upholstery. sent15: something is a kind of a bonsai and does not misconstrue upholstery if it does not chirr. sent16: the storm does not misconstrue upholstery if that it does not chirr is not wrong. sent17: there exists something such that if it is not a warner it is a rowel. sent18: if something is not a azurite then it is a kind of a Tripleurospermum and is a Octopodidae. sent19: if something does not skim earmark it is a hydrant and is an affined.
sent15 -> int1: if the storm does not chirr then it is a kind of a bonsai and does not misconstrue upholstery.; int1 -> hypothesis;
$hypothesis$ = there is something such that if it does not chirr it is a bonsai and it does not misconstrue upholstery. ; $context$ = sent1: if something chirrs then it is a bonsai and it does not misconstrue upholstery. sent2: there exists something such that if it is not testicular then it skims F.I.S.C. and it is not non-explicit. sent3: there exists something such that if it is not a hereditarianism then it skims rind. sent4: something that does not depress unbars move and is not a kind of a Tripleurospermum. sent5: if the storm does not chirr then it is a kind of a airdock that does deduce Hungarian. sent6: there exists something such that if it moves then it dodges and it is not myotonic. sent7: there is something such that if the fact that it does chirr is not false it is a kind of a bonsai and it does not misconstrue upholstery. sent8: if that something does not chirr is not wrong it does not misconstrue upholstery. sent9: there is something such that if it is not a Dacrydium then it is a launderette and is not non-hypertonic. sent10: there exists something such that if it is not xenogeneic then it is a thirteen that does not deduce topmast. sent11: if the insomniac does not unbar luffa then it is a bonsai that does misconstrue Trafalgar. sent12: if the storm chirrs it is a bonsai that does not misconstrue upholstery. sent13: if the storm does unbar minefield then it does dodge and it does not chirr. sent14: there exists something such that if it does not chirr then it does not misconstrue upholstery. sent15: something is a kind of a bonsai and does not misconstrue upholstery if it does not chirr. sent16: the storm does not misconstrue upholstery if that it does not chirr is not wrong. sent17: there exists something such that if it is not a warner it is a rowel. sent18: if something is not a azurite then it is a kind of a Tripleurospermum and is a Octopodidae. sent19: if something does not skim earmark it is a hydrant and is an affined. ; $proof$ = 
sent15 -> int1: if the storm does not chirr then it is a kind of a bonsai and does not misconstrue upholstery.; int1 -> hypothesis; __PROVED__