there is something such that if it does not flicker it tinctures ox.
sent1: if the hogan does tincture ox then it does fall Hanoverian. sent2: something is a primatology if that it is not nonreciprocal is not false. sent3: there is something such that if it is adrenocortical it parlays. sent4: if the chimney does not flicker it is a dietary. sent5: if the supernatant is a flickering it is androgenetic. sent6: there exists something such that if it is retrospective it is a selectwoman. sent7: there exists something such that if it flickers it tinctures ox. sent8: there exists something such that if it is not non-geriatrics then it is natal. sent9: there exists something such that if it does interrelate Adelie it does go. sent10: there exists something such that if that it is a kind of a parlay is correct then it is a kind of a threonine. sent11: there is something such that if it is not inaccurate it does worst. sent12: there exists something such that if it is not outward it is a tankard. sent13: if the hogan is a flickering it tinctures ox. sent14: there exists something such that if it does not redecorate pneumonectomy it is nonradioactive. sent15: there is something such that if it is not ungrammatical then it interrelates intrusion. sent16: there exists something such that if that it does tincture bitters hold it is a kind of a bulge. sent17: there is something such that if it is a kind of a synthesis it does compact. sent18: if the oilstove is not a by-line it is ripe. sent19: there is something such that if it is a Platanus then it is a pennant. sent20: the hogan does tincture ox if it does not flicker. sent21: there exists something such that if it is not Boolean then it does fall lilac.
sent20 -> hypothesis;
there is something such that if it is not nonreciprocal then it is a primatology.
sent2 -> int1: if the vol-au-vent is reciprocal it is a primatology.; int1 -> hypothesis;
$hypothesis$ = there is something such that if it does not flicker it tinctures ox. ; $context$ = sent1: if the hogan does tincture ox then it does fall Hanoverian. sent2: something is a primatology if that it is not nonreciprocal is not false. sent3: there is something such that if it is adrenocortical it parlays. sent4: if the chimney does not flicker it is a dietary. sent5: if the supernatant is a flickering it is androgenetic. sent6: there exists something such that if it is retrospective it is a selectwoman. sent7: there exists something such that if it flickers it tinctures ox. sent8: there exists something such that if it is not non-geriatrics then it is natal. sent9: there exists something such that if it does interrelate Adelie it does go. sent10: there exists something such that if that it is a kind of a parlay is correct then it is a kind of a threonine. sent11: there is something such that if it is not inaccurate it does worst. sent12: there exists something such that if it is not outward it is a tankard. sent13: if the hogan is a flickering it tinctures ox. sent14: there exists something such that if it does not redecorate pneumonectomy it is nonradioactive. sent15: there is something such that if it is not ungrammatical then it interrelates intrusion. sent16: there exists something such that if that it does tincture bitters hold it is a kind of a bulge. sent17: there is something such that if it is a kind of a synthesis it does compact. sent18: if the oilstove is not a by-line it is ripe. sent19: there is something such that if it is a Platanus then it is a pennant. sent20: the hogan does tincture ox if it does not flicker. sent21: there exists something such that if it is not Boolean then it does fall lilac. ; $proof$ = 
sent20 -> hypothesis; __PROVED__