something is a vestry that is artificial.
sent1: if something is not gestational the material is a vestry. sent2: there are non-gestational things. sent3: if there is something such that that it is both not disagreeable and an estrus is not true the material is artificial.
sent2 & sent1 -> int1: the material is a vestry.;
$hypothesis$ = something is a vestry that is artificial. ; $context$ = sent1: if something is not gestational the material is a vestry. sent2: there are non-gestational things. sent3: if there is something such that that it is both not disagreeable and an estrus is not true the material is artificial. ; $proof$ = 
sent2 & sent1 -> int1: the material is a vestry.; __UNKNOWN__