there exists something such that if the fact that it is not a Cebidae and does not bow incarnation is not correct it is clitoral.
sent1: there exists something such that if it is Irish then it is a kind of a transmittance. sent2: the lane is not non-clitoral if that it is not a Cebidae and it does not bow incarnation does not hold. sent3: there is something such that if the fact that it is a kind of a machinist hold it is punic.
sent2 -> hypothesis;
$hypothesis$ = there exists something such that if the fact that it is not a Cebidae and does not bow incarnation is not correct it is clitoral. ; $context$ = sent1: there exists something such that if it is Irish then it is a kind of a transmittance. sent2: the lane is not non-clitoral if that it is not a Cebidae and it does not bow incarnation does not hold. sent3: there is something such that if the fact that it is a kind of a machinist hold it is punic. ; $proof$ = 
sent2 -> hypothesis; __PROVED__