there is something such that if it is a kind of a technocrat then it is non-statutory and it is not an inflexibility.
sent1: there exists something such that if the fact that it is a ipecac is right then it does not piddle Betelgeuse and is not a pi. sent2: if the shed is a technocrat it is not statutory. sent3: there is something such that if the fact that it is a technocrat is not false the fact that it is not a kind of an inflexibility is true. sent4: if something hums lizardfish it is not a kind of a fox-trot and it is not a narrator. sent5: there exists something such that if the fact that it is expiatory is not wrong then it is not a cutaway and is not a black. sent6: there exists something such that if it is a kind of a technocrat it is not statutory. sent7: the allocator does not deliver and is not a technocrat if it is not non-Orphic. sent8: there is something such that if it does outstare bushman it does not piddle triangularity and it is not Orphic. sent9: there is something such that if it is a technocrat it is statutory and is not an inflexibility. sent10: the shed is a kind of non-statutory an inflexibility if that it is a technocrat is right. sent11: the shed is not statutory and it is not maturational if it is sugary. sent12: if something is a bridal-wreath then it is not a Merckx and is not a kind of an ai. sent13: there is something such that if it is expansionist it does not outstare Landsteiner and it is not a ramekin. sent14: there is something such that if it is sophistic then it is not a kind of a royal and it does not mystify arm. sent15: there exists something such that if it is maturational then it is not amblyopic and it is non-curricular. sent16: if the arm is statutory it is not psychogenetic and it is not mealy. sent17: there is something such that if it is laryngopharyngeal it is not a calanthe and it is not tubal. sent18: there is something such that if it is a kind of a technocrat then it is not statutory and it is an inflexibility. sent19: if something is a kind of a technocrat then it is not statutory and it is not a kind of an inflexibility.
sent19 -> int1: if the shed is a technocrat it is non-statutory thing that is not a kind of an inflexibility.; int1 -> hypothesis;
$hypothesis$ = there is something such that if it is a kind of a technocrat then it is non-statutory and it is not an inflexibility. ; $context$ = sent1: there exists something such that if the fact that it is a ipecac is right then it does not piddle Betelgeuse and is not a pi. sent2: if the shed is a technocrat it is not statutory. sent3: there is something such that if the fact that it is a technocrat is not false the fact that it is not a kind of an inflexibility is true. sent4: if something hums lizardfish it is not a kind of a fox-trot and it is not a narrator. sent5: there exists something such that if the fact that it is expiatory is not wrong then it is not a cutaway and is not a black. sent6: there exists something such that if it is a kind of a technocrat it is not statutory. sent7: the allocator does not deliver and is not a technocrat if it is not non-Orphic. sent8: there is something such that if it does outstare bushman it does not piddle triangularity and it is not Orphic. sent9: there is something such that if it is a technocrat it is statutory and is not an inflexibility. sent10: the shed is a kind of non-statutory an inflexibility if that it is a technocrat is right. sent11: the shed is not statutory and it is not maturational if it is sugary. sent12: if something is a bridal-wreath then it is not a Merckx and is not a kind of an ai. sent13: there is something such that if it is expansionist it does not outstare Landsteiner and it is not a ramekin. sent14: there is something such that if it is sophistic then it is not a kind of a royal and it does not mystify arm. sent15: there exists something such that if it is maturational then it is not amblyopic and it is non-curricular. sent16: if the arm is statutory it is not psychogenetic and it is not mealy. sent17: there is something such that if it is laryngopharyngeal it is not a calanthe and it is not tubal. sent18: there is something such that if it is a kind of a technocrat then it is not statutory and it is an inflexibility. sent19: if something is a kind of a technocrat then it is not statutory and it is not a kind of an inflexibility. ; $proof$ = 
sent19 -> int1: if the shed is a technocrat it is non-statutory thing that is not a kind of an inflexibility.; int1 -> hypothesis; __PROVED__