that the reproduction is non-lobular thing that does not hatch Shawwal does not hold.
sent1: if something is not a kind of a hart then the fact that it is not lobular and it does not hatch Shawwal does not hold. sent2: the companion is a kind of a hart if the CRP does sidle Lindheimera. sent3: the Terry ramps latrine. sent4: the reproduction is not fiber-optic. sent5: something does not ramp reproduction if the fact that the fact that it is not a flak and it is not prandial hold does not hold. sent6: if something is not a kind of a hart then that it is a kind of lobular thing that does not hatch Shawwal is false. sent7: that the reproduction is non-positive a famulus is false if it is not fiber-optic. sent8: something that sidles Lindheimera is non-positive a famulus. sent9: something does sidle Lindheimera if that it does not sidle Lindheimera and it is not a famulus does not hold. sent10: if the Terry ramps latrine then the Lascar does sidle echinocactus. sent11: if the reproduction does sidle Lindheimera it is not a positive. sent12: if the soapwort is not a positive and does not ramp reproduction the CRP is not a positive. sent13: the reproduction is not lobular and does not hatch Shawwal if the companion is a hart. sent14: that something does not sidle Lindheimera and it is not a famulus is false if the fact that it is a positive does not hold. sent15: if something does sidle echinocactus then the soapwort is endoscopic but it is not a refit. sent16: something is non-positive but not fiber-optic if it is endoscopic. sent17: that the soapwort is not a flak and is not prandial is not true if the latrine is impermanent. sent18: that the reproduction is non-lobular thing that hatches Shawwal is wrong.
void -> assump1: Let's assume that the reproduction is a kind of a hart.; sent8 -> int1: if the reproduction does sidle Lindheimera then it is not positive and it is a famulus.; sent7 & sent4 -> int2: the fact that the reproduction is non-positive a famulus is false.; sent1 -> int3: that the reproduction is not lobular and does not hatch Shawwal is wrong if it is not a kind of a hart.;
the reproduction is not lobular and it does not hatch Shawwal.
sent9 -> int4: the CRP does sidle Lindheimera if that it does not sidle Lindheimera and it is not a kind of a famulus is incorrect.; sent14 -> int5: that the CRP does not sidle Lindheimera and it is not a famulus does not hold if it is not a positive.; sent16 -> int6: if the soapwort is endoscopic it is both non-positive and not fiber-optic.; sent10 & sent3 -> int7: the Lascar does sidle echinocactus.; int7 -> int8: something sidles echinocactus.; int8 & sent15 -> int9: the soapwort is endoscopic but it does not refit.; int9 -> int10: the soapwort is endoscopic.; int6 & int10 -> int11: the soapwort is not a positive and it is not fiber-optic.; int11 -> int12: the soapwort is not a positive.; sent5 -> int13: if that the soapwort is not a flak and it is non-prandial is false it does not ramp reproduction.;
$hypothesis$ = that the reproduction is non-lobular thing that does not hatch Shawwal does not hold. ; $context$ = sent1: if something is not a kind of a hart then the fact that it is not lobular and it does not hatch Shawwal does not hold. sent2: the companion is a kind of a hart if the CRP does sidle Lindheimera. sent3: the Terry ramps latrine. sent4: the reproduction is not fiber-optic. sent5: something does not ramp reproduction if the fact that the fact that it is not a flak and it is not prandial hold does not hold. sent6: if something is not a kind of a hart then that it is a kind of lobular thing that does not hatch Shawwal is false. sent7: that the reproduction is non-positive a famulus is false if it is not fiber-optic. sent8: something that sidles Lindheimera is non-positive a famulus. sent9: something does sidle Lindheimera if that it does not sidle Lindheimera and it is not a famulus does not hold. sent10: if the Terry ramps latrine then the Lascar does sidle echinocactus. sent11: if the reproduction does sidle Lindheimera it is not a positive. sent12: if the soapwort is not a positive and does not ramp reproduction the CRP is not a positive. sent13: the reproduction is not lobular and does not hatch Shawwal if the companion is a hart. sent14: that something does not sidle Lindheimera and it is not a famulus is false if the fact that it is a positive does not hold. sent15: if something does sidle echinocactus then the soapwort is endoscopic but it is not a refit. sent16: something is non-positive but not fiber-optic if it is endoscopic. sent17: that the soapwort is not a flak and is not prandial is not true if the latrine is impermanent. sent18: that the reproduction is non-lobular thing that hatches Shawwal is wrong. ; $proof$ = 
void -> assump1: Let's assume that the reproduction is a kind of a hart.; sent8 -> int1: if the reproduction does sidle Lindheimera then it is not positive and it is a famulus.; sent7 & sent4 -> int2: the fact that the reproduction is non-positive a famulus is false.; sent1 -> int3: that the reproduction is not lobular and does not hatch Shawwal is wrong if it is not a kind of a hart.; __UNKNOWN__