if the cement is not a civet it is a kind of a minocycline and does not resume.
sent1: something is a civet if it is calculous. sent2: if the cement is not a civet then it is a minocycline and does resume. sent3: that the cement is a kind of the minocycline that does not resume if the cement is a civet is not false. sent4: something is a kind of a minocycline and does not resume if it is not a kind of a Hutton. sent5: if the cement is a Hutton then it is not a soar and it is not an elaboration. sent6: the cement is a kind of a soar if it does scram utricle and is not ethereal. sent7: the cement is a kind of a minocycline. sent8: the kiddy is a Egyptian but it is not a minocycline. sent9: the cement is not a kind of a soar if it is a Hutton. sent10: that something irritates and is not cautious if the fact that it is not a echocardiograph is true is not wrong. sent11: the cement does investigate and is not sarcastic if the nitrile is a Hutton. sent12: if that something is a civet and does not resume is false it is not a kind of a civet. sent13: something is a minocycline if the fact that it is not a Hutton is not incorrect.
void -> assump1: Let's assume that the cement is a Hutton.; sent5 & assump1 -> int1: the cement does not soar and is not an elaboration.; sent1 -> int2: if the fact that the cement is calculous is right then it is a civet.; void -> assump2: Let's assume that the cement is not a civet.; sent4 -> int3: the cement is a minocycline but it does not resume if it is not a kind of a Hutton.;
the cement does investigate and is not sarcastic.
sent12 -> int4: if that the fact that the nitrile is a civet and does not resume is not incorrect is incorrect it is not a civet.;
$hypothesis$ = if the cement is not a civet it is a kind of a minocycline and does not resume. ; $context$ = sent1: something is a civet if it is calculous. sent2: if the cement is not a civet then it is a minocycline and does resume. sent3: that the cement is a kind of the minocycline that does not resume if the cement is a civet is not false. sent4: something is a kind of a minocycline and does not resume if it is not a kind of a Hutton. sent5: if the cement is a Hutton then it is not a soar and it is not an elaboration. sent6: the cement is a kind of a soar if it does scram utricle and is not ethereal. sent7: the cement is a kind of a minocycline. sent8: the kiddy is a Egyptian but it is not a minocycline. sent9: the cement is not a kind of a soar if it is a Hutton. sent10: that something irritates and is not cautious if the fact that it is not a echocardiograph is true is not wrong. sent11: the cement does investigate and is not sarcastic if the nitrile is a Hutton. sent12: if that something is a civet and does not resume is false it is not a kind of a civet. sent13: something is a minocycline if the fact that it is not a Hutton is not incorrect. ; $proof$ = 
void -> assump1: Let's assume that the cement is a Hutton.; sent5 & assump1 -> int1: the cement does not soar and is not an elaboration.; sent1 -> int2: if the fact that the cement is calculous is right then it is a civet.; void -> assump2: Let's assume that the cement is not a civet.; sent4 -> int3: the cement is a minocycline but it does not resume if it is not a kind of a Hutton.; __UNKNOWN__