the cream is not a minded.
sent1: the fact that there exists something such that that it is not a kind of a Gibraltarian is correct is not false. sent2: that the bootlicker either is a foreshore or is non-postbiblical or both is not right. sent3: the cream is not a minded if there is something such that the fact that either it is a foreshore or it is not postbiblical or both is false. sent4: that the postmistress does not encrust animalism and is not inelegant does not hold if the battlement is not birefringent. sent5: there is something such that it is indulgent. sent6: the fact that the bootlicker does mind and/or it is not postbiblical is not true. sent7: the fact that the silvex is not postbiblical is correct. sent8: there is something such that that it does vesiculate and/or it is not a Jerez is not true. sent9: the cream is not postbiblical. sent10: the bootlicker is not anthracitic. sent11: that the nucleus does not mind is not false. sent12: if that something does not encrust animalism and it is elegant is false it is not Capetian. sent13: there is something such that the fact that it minds and/or it is a kind of a foreshore is false. sent14: the battlement is not birefringent if the Berry is not nonfissile and does not encrust Berry.
sent2 -> int1: there exists something such that that it is a foreshore or it is not postbiblical or both is wrong.; int1 & sent3 -> hypothesis;
the cream does mind.
sent12 -> int2: the postmistress is not Capetian if that it does not encrust animalism and is not inelegant is not right.;
$hypothesis$ = the cream is not a minded. ; $context$ = sent1: the fact that there exists something such that that it is not a kind of a Gibraltarian is correct is not false. sent2: that the bootlicker either is a foreshore or is non-postbiblical or both is not right. sent3: the cream is not a minded if there is something such that the fact that either it is a foreshore or it is not postbiblical or both is false. sent4: that the postmistress does not encrust animalism and is not inelegant does not hold if the battlement is not birefringent. sent5: there is something such that it is indulgent. sent6: the fact that the bootlicker does mind and/or it is not postbiblical is not true. sent7: the fact that the silvex is not postbiblical is correct. sent8: there is something such that that it does vesiculate and/or it is not a Jerez is not true. sent9: the cream is not postbiblical. sent10: the bootlicker is not anthracitic. sent11: that the nucleus does not mind is not false. sent12: if that something does not encrust animalism and it is elegant is false it is not Capetian. sent13: there is something such that the fact that it minds and/or it is a kind of a foreshore is false. sent14: the battlement is not birefringent if the Berry is not nonfissile and does not encrust Berry. ; $proof$ = 
sent2 -> int1: there exists something such that that it is a foreshore or it is not postbiblical or both is wrong.; int1 & sent3 -> hypothesis; __PROVED__