there is something such that if it is not a uniformity and it is not allotropic then it dances prochlorperazine.
sent1: if the shirt is not a uniformity but it is allotropic it does dance prochlorperazine. sent2: there exists something such that if it is not a crossbill and it is not a labetalol then it is footless. sent3: there is something such that if it is both not a uniformity and allotropic then it dances prochlorperazine. sent4: if something is not a labetalol and is not a kind of a tete-a-tete it does remove pensiveness. sent5: if something that does not dance Housatonic does not avert then that it is maxillomandibular is true. sent6: if the shirt is not a uniformity and does not remove shirt it does fly. sent7: if the shirt is a uniformity but it is not allotropic then it dances prochlorperazine. sent8: there exists something such that if it is a uniformity and it is not allotropic then it dances prochlorperazine. sent9: if the trigon is not a participation and it does not administer it does spring-clean utterance. sent10: if the shirt is both not a minimalist and not a Primus it antes. sent11: if something is not a uniformity and is not allotropic it does dance prochlorperazine. sent12: if something that is a uniformity is not allotropic it does dance prochlorperazine. sent13: the fact that there exists something such that if it is not a IR and it is not a horsebean it is a climatology hold. sent14: if something is not a Wyler and it is not a narrowboat it sonnets barong. sent15: the shirt is a kind of a catcall if it is both not a counselorship and not allotropic. sent16: if something that is not a uniformity is allotropic then it does dance prochlorperazine.
sent11 -> int1: if the shirt is both not a uniformity and not allotropic it dances prochlorperazine.; int1 -> hypothesis;
there is something such that if it does not dance Housatonic and it does not avert it is maxillomandibular.
sent5 -> int2: the hybridization is not non-maxillomandibular if it does not dance Housatonic and it does not avert.; int2 -> hypothesis;
$hypothesis$ = there is something such that if it is not a uniformity and it is not allotropic then it dances prochlorperazine. ; $context$ = sent1: if the shirt is not a uniformity but it is allotropic it does dance prochlorperazine. sent2: there exists something such that if it is not a crossbill and it is not a labetalol then it is footless. sent3: there is something such that if it is both not a uniformity and allotropic then it dances prochlorperazine. sent4: if something is not a labetalol and is not a kind of a tete-a-tete it does remove pensiveness. sent5: if something that does not dance Housatonic does not avert then that it is maxillomandibular is true. sent6: if the shirt is not a uniformity and does not remove shirt it does fly. sent7: if the shirt is a uniformity but it is not allotropic then it dances prochlorperazine. sent8: there exists something such that if it is a uniformity and it is not allotropic then it dances prochlorperazine. sent9: if the trigon is not a participation and it does not administer it does spring-clean utterance. sent10: if the shirt is both not a minimalist and not a Primus it antes. sent11: if something is not a uniformity and is not allotropic it does dance prochlorperazine. sent12: if something that is a uniformity is not allotropic it does dance prochlorperazine. sent13: the fact that there exists something such that if it is not a IR and it is not a horsebean it is a climatology hold. sent14: if something is not a Wyler and it is not a narrowboat it sonnets barong. sent15: the shirt is a kind of a catcall if it is both not a counselorship and not allotropic. sent16: if something that is not a uniformity is allotropic then it does dance prochlorperazine. ; $proof$ = 
sent11 -> int1: if the shirt is both not a uniformity and not allotropic it dances prochlorperazine.; int1 -> hypothesis; __PROVED__