there is something such that if it is not non-unicameral the fact that it is a kind of a Lateran and it does not doubt does not hold.
sent1: that something is a chauffeur but it is not a doubt is false if it is unacquisitive. sent2: if something is unicameral then the fact that it is a Lateran and it does doubt is wrong. sent3: something that is unicameral is a Lateran and not a doubt. sent4: there exists something such that if it is unicameral it is both a Lateran and not a doubt. sent5: if the breadroot is not non-unicameral that it is a Lateran and does doubt is not correct. sent6: that something is fewest but it is not a rotifer is wrong if it is allantoic. sent7: the fact that something is a kind of a Lateran but it is not a doubt is not right if that it is unicameral is true. sent8: the fact that the breadroot is both a Lateran and not a doubt hold if it is unicameral. sent9: there exists something such that if it is unicameral that it is a Lateran that does doubt is false.
sent7 -> int1: if the breadroot is unicameral that it is a kind of a Lateran and it does not doubt is false.; int1 -> hypothesis;
if the collagenase is unacquisitive that the fact that it is both a chauffeur and not a doubt hold does not hold.
sent1 -> hypothesis;
$hypothesis$ = there is something such that if it is not non-unicameral the fact that it is a kind of a Lateran and it does not doubt does not hold. ; $context$ = sent1: that something is a chauffeur but it is not a doubt is false if it is unacquisitive. sent2: if something is unicameral then the fact that it is a Lateran and it does doubt is wrong. sent3: something that is unicameral is a Lateran and not a doubt. sent4: there exists something such that if it is unicameral it is both a Lateran and not a doubt. sent5: if the breadroot is not non-unicameral that it is a Lateran and does doubt is not correct. sent6: that something is fewest but it is not a rotifer is wrong if it is allantoic. sent7: the fact that something is a kind of a Lateran but it is not a doubt is not right if that it is unicameral is true. sent8: the fact that the breadroot is both a Lateran and not a doubt hold if it is unicameral. sent9: there exists something such that if it is unicameral that it is a Lateran that does doubt is false. ; $proof$ = 
sent7 -> int1: if the breadroot is unicameral that it is a kind of a Lateran and it does not doubt is false.; int1 -> hypothesis; __PROVED__