the trivet is a jawan.
sent1: the viscount is a kind of a apse. sent2: the fact that something is a mucopolysaccharide and it is a apse hold if it is not basilar. sent3: if the trivet darts heliograph the viscount is a Guadalcanal. sent4: that the viscount pranks and averages ileostomy is wrong if that there is something such that it does dart heliograph hold. sent5: if the fact that something does not prank but it averages ileostomy is false it is non-basilar. sent6: if there exists something such that it is a mucopolysaccharide and it is a apse then the trivet is a jawan. sent7: there exists something such that it does dart heliograph. sent8: the viscount is not basilar if it does prank.
sent5 -> int1: if the fact that the viscount does not prank and averages ileostomy does not hold then it is not basilar.; sent2 -> int2: that that the viscount is a mucopolysaccharide and it is a kind of the apse is true if the viscount is not basilar is not false.;
there exists something such that it is a straight and it is a Guadalcanal.
$hypothesis$ = the trivet is a jawan. ; $context$ = sent1: the viscount is a kind of a apse. sent2: the fact that something is a mucopolysaccharide and it is a apse hold if it is not basilar. sent3: if the trivet darts heliograph the viscount is a Guadalcanal. sent4: that the viscount pranks and averages ileostomy is wrong if that there is something such that it does dart heliograph hold. sent5: if the fact that something does not prank but it averages ileostomy is false it is non-basilar. sent6: if there exists something such that it is a mucopolysaccharide and it is a apse then the trivet is a jawan. sent7: there exists something such that it does dart heliograph. sent8: the viscount is not basilar if it does prank. ; $proof$ = 
sent5 -> int1: if the fact that the viscount does not prank and averages ileostomy does not hold then it is not basilar.; sent2 -> int2: that that the viscount is a mucopolysaccharide and it is a kind of the apse is true if the viscount is not basilar is not false.; __UNKNOWN__