the ablactation overgrows and is mass-spectrometric.
sent1: the lionfish is not a lid if the fact that the Aryan does not resent hawk is true. sent2: the heparin is mass-spectrometric if the hairsplitter is mass-spectrometric. sent3: the hairsplitter does mutate rhonchus. sent4: the ablactation is not a kind of a Demetrius. sent5: the lionfish does overbear heparin and it resents Cooper if it is not a lid. sent6: the fact that the Machiavellian resents confectionery if the hairsplitter does mutate rhonchus hold. sent7: the Aryan is nonindustrial if the Machiavellian does resent confectionery. sent8: the Aryan is not a Demetrius. sent9: the ablactation does overgrow if the lionfish resents Cooper. sent10: The rhonchus does mutate hairsplitter. sent11: the ablactation is mass-spectrometric. sent12: the schizanthus parallels proselyte if it does not resent confectionery. sent13: the lionfish overbears heparin if the fact that it is not a lid is not false. sent14: the Aryan is not a kind of a lid if the lionfish does not resent hawk. sent15: if the ablactation is not a Demetrius then the Aryan is not mass-spectrometric. sent16: that something does overgrow and is mass-spectrometric is false if it does not mutate rhonchus. sent17: the Aryan resents Cooper.
sent6 & sent3 -> int1: the Machiavellian does resent confectionery.; int1 & sent7 -> int2: the Aryan is nonindustrial.; int2 & sent8 -> int3: the Aryan is nonindustrial but it is not a Demetrius.;
the fact that the ablactation does overgrow and it is mass-spectrometric is incorrect.
sent16 -> int4: that the ablactation overgrows and is mass-spectrometric is not correct if it does not mutate rhonchus.;
$hypothesis$ = the ablactation overgrows and is mass-spectrometric. ; $context$ = sent1: the lionfish is not a lid if the fact that the Aryan does not resent hawk is true. sent2: the heparin is mass-spectrometric if the hairsplitter is mass-spectrometric. sent3: the hairsplitter does mutate rhonchus. sent4: the ablactation is not a kind of a Demetrius. sent5: the lionfish does overbear heparin and it resents Cooper if it is not a lid. sent6: the fact that the Machiavellian resents confectionery if the hairsplitter does mutate rhonchus hold. sent7: the Aryan is nonindustrial if the Machiavellian does resent confectionery. sent8: the Aryan is not a Demetrius. sent9: the ablactation does overgrow if the lionfish resents Cooper. sent10: The rhonchus does mutate hairsplitter. sent11: the ablactation is mass-spectrometric. sent12: the schizanthus parallels proselyte if it does not resent confectionery. sent13: the lionfish overbears heparin if the fact that it is not a lid is not false. sent14: the Aryan is not a kind of a lid if the lionfish does not resent hawk. sent15: if the ablactation is not a Demetrius then the Aryan is not mass-spectrometric. sent16: that something does overgrow and is mass-spectrometric is false if it does not mutate rhonchus. sent17: the Aryan resents Cooper. ; $proof$ = 
sent6 & sent3 -> int1: the Machiavellian does resent confectionery.; int1 & sent7 -> int2: the Aryan is nonindustrial.; int2 & sent8 -> int3: the Aryan is nonindustrial but it is not a Demetrius.; __UNKNOWN__