either the cleaner is a kind of a stretcher or it is a putamen or both.
sent1: the mica is not Brobdingnagian. sent2: the fact that that the mica does charm Iroquoian and is a brachycephaly is right is not right if it is not Brobdingnagian. sent3: if there is something such that that it charms Iroquoian and it is a brachycephaly does not hold the munition is not a readability. sent4: the tolazoline is bivalent if the cleaner is a kind of non-bivalent thing that is not a putamen. sent5: the jasper is a kind of a Haworth and rices Duluth if the munition is not a kind of a readability. sent6: the Weizenbock is a stretcher. sent7: if something is a stretcher then it is both non-bivalent and not a putamen. sent8: the cleaner is bivalent. sent9: there is something such that the fact that it is not non-endothermic and it is monozygotic does not hold. sent10: the jasper is coital if there exists something such that that it is endothermic and it is monozygotic does not hold. sent11: if the jasper is nice and it is a Haworth the inula is not a Haworth. sent12: the cleaner is a kind of a putamen if it is bivalent. sent13: if the jasper is coital it is nice. sent14: the fact that that the inula does rice hammer and it is bivalent does not hold is right if it is not a Haworth.
sent12 & sent8 -> int1: the cleaner is a putamen.; int1 -> hypothesis;
that the cleaner is a stretcher and/or is a putamen does not hold.
sent9 & sent10 -> int2: the fact that the jasper is coital is correct.; sent13 & int2 -> int3: the fact that the jasper is nice hold.; sent2 & sent1 -> int4: that the mica does charm Iroquoian and it is a kind of a brachycephaly is not true.; int4 -> int5: there exists something such that the fact that it does charm Iroquoian and is a brachycephaly is not true.; int5 & sent3 -> int6: the munition is not a readability.; sent5 & int6 -> int7: the jasper is a Haworth and it rices Duluth.; int7 -> int8: the jasper is a Haworth.; int3 & int8 -> int9: the jasper is nice and it is a Haworth.; sent11 & int9 -> int10: the inula is not a Haworth.; sent14 & int10 -> int11: that the inula rices hammer and it is bivalent does not hold.; int11 -> int12: there exists something such that that it does rice hammer and it is bivalent is not correct.;
$hypothesis$ = either the cleaner is a kind of a stretcher or it is a putamen or both. ; $context$ = sent1: the mica is not Brobdingnagian. sent2: the fact that that the mica does charm Iroquoian and is a brachycephaly is right is not right if it is not Brobdingnagian. sent3: if there is something such that that it charms Iroquoian and it is a brachycephaly does not hold the munition is not a readability. sent4: the tolazoline is bivalent if the cleaner is a kind of non-bivalent thing that is not a putamen. sent5: the jasper is a kind of a Haworth and rices Duluth if the munition is not a kind of a readability. sent6: the Weizenbock is a stretcher. sent7: if something is a stretcher then it is both non-bivalent and not a putamen. sent8: the cleaner is bivalent. sent9: there is something such that the fact that it is not non-endothermic and it is monozygotic does not hold. sent10: the jasper is coital if there exists something such that that it is endothermic and it is monozygotic does not hold. sent11: if the jasper is nice and it is a Haworth the inula is not a Haworth. sent12: the cleaner is a kind of a putamen if it is bivalent. sent13: if the jasper is coital it is nice. sent14: the fact that that the inula does rice hammer and it is bivalent does not hold is right if it is not a Haworth. ; $proof$ = 
sent12 & sent8 -> int1: the cleaner is a putamen.; int1 -> hypothesis; __PROVED__