the fox is a kind of a glucosamine.
sent1: if the technophile is a kind of a esthetician then the fox is uncertain. sent2: the ninja is a glucosamine. sent3: that that the technophile is both a esthetician and a glucosamine is incorrect hold. sent4: the fact that the technophile is a esthetician and is sonic is false. sent5: that the fox is not a kind of a esthetician and is uncertain is false. sent6: that the fox is both not uncertain and a esthetician does not hold. sent7: the fact that the technophile is not a esthetician and is sonic does not hold. sent8: if something is not non-sonic that it is uncertain is true. sent9: the fox is a esthetician if it is a kind of a glucosamine. sent10: that the technophile is uncertain is true if that the fox does not snowball weightlift but it is a esthetician does not hold. sent11: the technophile does snowball weightlift. sent12: the fox is uncertain if that the technophile is not a esthetician but sonic does not hold. sent13: the fact that the endpoint does not reissue caroche but it does snowball weightlift is false. sent14: something is a kind of a glucosamine if that it does snowball weightlift is correct. sent15: if something is not uncertain or it does not snowball weightlift or both then it is not a kind of a glucosamine. sent16: that the fox is a geodesic and it is uncertain is wrong.
sent12 & sent7 -> int1: the fox is uncertain.; sent14 -> int2: the fox is a glucosamine if it snowballs weightlift.;
the fox is not a glucosamine.
sent15 -> int3: if the fox either is not uncertain or does not snowball weightlift or both then the fact that it is not a kind of a glucosamine hold.;
$hypothesis$ = the fox is a kind of a glucosamine. ; $context$ = sent1: if the technophile is a kind of a esthetician then the fox is uncertain. sent2: the ninja is a glucosamine. sent3: that that the technophile is both a esthetician and a glucosamine is incorrect hold. sent4: the fact that the technophile is a esthetician and is sonic is false. sent5: that the fox is not a kind of a esthetician and is uncertain is false. sent6: that the fox is both not uncertain and a esthetician does not hold. sent7: the fact that the technophile is not a esthetician and is sonic does not hold. sent8: if something is not non-sonic that it is uncertain is true. sent9: the fox is a esthetician if it is a kind of a glucosamine. sent10: that the technophile is uncertain is true if that the fox does not snowball weightlift but it is a esthetician does not hold. sent11: the technophile does snowball weightlift. sent12: the fox is uncertain if that the technophile is not a esthetician but sonic does not hold. sent13: the fact that the endpoint does not reissue caroche but it does snowball weightlift is false. sent14: something is a kind of a glucosamine if that it does snowball weightlift is correct. sent15: if something is not uncertain or it does not snowball weightlift or both then it is not a kind of a glucosamine. sent16: that the fox is a geodesic and it is uncertain is wrong. ; $proof$ = 
sent12 & sent7 -> int1: the fox is uncertain.; sent14 -> int2: the fox is a glucosamine if it snowballs weightlift.; __UNKNOWN__