if the fact that the tree is not familial is right then the Caddo is oropharyngeal and not apostrophic.
sent1: there exists something such that it does not consult. sent2: the Caddo is oropharyngeal. sent3: the Caddo is apostrophic but it does not consult. sent4: the Caddo is oropharyngeal and is not apostrophic if there is something such that it is a nunnery. sent5: everything is not an indicative. sent6: something is not familial and is not oropharyngeal if it does not chorus. sent7: that if the tree is not familial then the Caddo is oropharyngeal hold. sent8: if there is something such that it is a nunnery then the Caddo is oropharyngeal. sent9: something is a kind of a housewife. sent10: the Caddo is a kind of oropharyngeal thing that is apostrophic. sent11: the citrine ripostes Bittacidae and is not a CJD. sent12: there is something such that it is oropharyngeal thing that is not a nunnery. sent13: if the ethylene is not a shim then the fact that the tree is a kind of a nunnery that is not apostrophic does not hold. sent14: if the nymphalid choruses then the ethylene is a nunnery. sent15: something is a housewife and it does consult. sent16: the nymphalid does chorus if the sauropod is not a kind of a housewife. sent17: the Caddo is oropharyngeal and is apostrophic if the tree is not familial. sent18: if that the fact that the sauropod is a housewife that does not consult is not incorrect is false the nymphalid is a chorus. sent19: the sauropod is a housewife. sent20: the sauropod is a chorus but it is not apostrophic if the fact that the Caddo does not consult hold. sent21: there is something such that it is not non-barytic. sent22: the Caddo is oropharyngeal and it is apostrophic if there is something such that it is a nunnery.
void -> assump1: Let's assume that the sauropod is a kind of a housewife but it does not consult.; assump1 -> int1: something is a housewife but it does not consult.;
the nymphalid is not oropharyngeal.
sent6 -> int2: if the nymphalid is not a kind of a chorus then it is not familial and it is not oropharyngeal.; sent5 -> int3: the Caddo is not a kind of an indicative.; int3 -> int4: there exists something such that that it is not a kind of an indicative is right.;
$hypothesis$ = if the fact that the tree is not familial is right then the Caddo is oropharyngeal and not apostrophic. ; $context$ = sent1: there exists something such that it does not consult. sent2: the Caddo is oropharyngeal. sent3: the Caddo is apostrophic but it does not consult. sent4: the Caddo is oropharyngeal and is not apostrophic if there is something such that it is a nunnery. sent5: everything is not an indicative. sent6: something is not familial and is not oropharyngeal if it does not chorus. sent7: that if the tree is not familial then the Caddo is oropharyngeal hold. sent8: if there is something such that it is a nunnery then the Caddo is oropharyngeal. sent9: something is a kind of a housewife. sent10: the Caddo is a kind of oropharyngeal thing that is apostrophic. sent11: the citrine ripostes Bittacidae and is not a CJD. sent12: there is something such that it is oropharyngeal thing that is not a nunnery. sent13: if the ethylene is not a shim then the fact that the tree is a kind of a nunnery that is not apostrophic does not hold. sent14: if the nymphalid choruses then the ethylene is a nunnery. sent15: something is a housewife and it does consult. sent16: the nymphalid does chorus if the sauropod is not a kind of a housewife. sent17: the Caddo is oropharyngeal and is apostrophic if the tree is not familial. sent18: if that the fact that the sauropod is a housewife that does not consult is not incorrect is false the nymphalid is a chorus. sent19: the sauropod is a housewife. sent20: the sauropod is a chorus but it is not apostrophic if the fact that the Caddo does not consult hold. sent21: there is something such that it is not non-barytic. sent22: the Caddo is oropharyngeal and it is apostrophic if there is something such that it is a nunnery. ; $proof$ = 
void -> assump1: Let's assume that the sauropod is a kind of a housewife but it does not consult.; assump1 -> int1: something is a housewife but it does not consult.; __UNKNOWN__