the cornsilk is not pyretic and it is not radial-ply.
sent1: if the nullah does not tag nullah then that the compound is defervescent and it is an inflation is not right. sent2: that something is non-pilosebaceous but not chordate does not hold if it does not message. sent3: the nullah does not tag nullah. sent4: if something does gauge isometrics the fact that it is not a D and it does not bury is false. sent5: if something is a chordate it gauges isometrics. sent6: if something is pilosebaceous then that it gauges isometrics is not false. sent7: something does not gauge isometrics if it is not a kind of a chordate. sent8: that the compound is pilosebaceous is right. sent9: if there is something such that that it is a kind of defervescent thing that is a kind of an inflation is not true that the cornsilk is not a message hold.
void -> assump1: Let's assume that the fact that the cornsilk is not pyretic and it is not radial-ply does not hold.; sent7 -> int1: if the compound is not a chordate it does not gauge isometrics.; sent6 -> int2: if the compound is pilosebaceous it does gauge isometrics.; int2 & sent8 -> int3: the compound does gauge isometrics.;
the fact that the lithophyte is not a D and does not bury is wrong.
sent4 -> int4: the fact that the lithophyte is not a kind of a D and does not bury is false if it gauges isometrics.; sent5 -> int5: the lithophyte does gauge isometrics if it is a chordate.; sent2 -> int6: if the cornsilk does not message then that it is not pilosebaceous and it is not a chordate is wrong.; sent1 & sent3 -> int7: the fact that the compound is a kind of defervescent an inflation is not right.; int7 -> int8: there is something such that that it is defervescent and it is an inflation does not hold.; int8 & sent9 -> int9: the cornsilk is not a message.; int6 & int9 -> int10: that the cornsilk is not pilosebaceous and not a chordate is wrong.; int10 -> int11: there exists something such that the fact that it is not pilosebaceous and is not chordate does not hold.;
$hypothesis$ = the cornsilk is not pyretic and it is not radial-ply. ; $context$ = sent1: if the nullah does not tag nullah then that the compound is defervescent and it is an inflation is not right. sent2: that something is non-pilosebaceous but not chordate does not hold if it does not message. sent3: the nullah does not tag nullah. sent4: if something does gauge isometrics the fact that it is not a D and it does not bury is false. sent5: if something is a chordate it gauges isometrics. sent6: if something is pilosebaceous then that it gauges isometrics is not false. sent7: something does not gauge isometrics if it is not a kind of a chordate. sent8: that the compound is pilosebaceous is right. sent9: if there is something such that that it is a kind of defervescent thing that is a kind of an inflation is not true that the cornsilk is not a message hold. ; $proof$ = 
void -> assump1: Let's assume that the fact that the cornsilk is not pyretic and it is not radial-ply does not hold.; sent7 -> int1: if the compound is not a chordate it does not gauge isometrics.; sent6 -> int2: if the compound is pilosebaceous it does gauge isometrics.; int2 & sent8 -> int3: the compound does gauge isometrics.; __UNKNOWN__