there is something such that if it reddens quarreler and it is a kind of a ruler then it is not prolusory.
sent1: if the daredevil reddens quarreler and it is a ruler it is prolusory. sent2: the daredevil is prolusory. sent3: that the ranitidine is not a shinpad is correct. sent4: the fact that the daredevil is a sixty is true. sent5: the fact that the daredevil is not citric is not wrong. sent6: the resorcinol is unwholesome. sent7: the russet is not artless if there exists something such that that it is subtropical and is not artless is wrong. sent8: the arquebus is unwholesome if something does not redden quarreler and it is not a ruler. sent9: there exists something such that if it is a tuck and is imperceptible that it is unalike hold. sent10: that the fact that the geophyte is a solidity but it is not prolusory is not incorrect is not correct if the russet is disingenuous. sent11: something is a solidity if it is not unwholesome. sent12: the daredevil is prolusory if it is a solidity. sent13: the fact that the firebrick is both subtropical and artless is not correct if there exists something such that it is not a shinpad. sent14: there is something such that if it reddens quarreler and it is a ruler then it is prolusory. sent15: if something is a solidity it is prolusory. sent16: the fact that something is not unwholesome is correct if it is a ruler and it peruses. sent17: something is not prolusory if it is a solidity. sent18: that the daredevil reddens quarreler is right.
void -> assump1: Let's assume that the daredevil does redden quarreler and it is a ruler.; assump1 -> int1: the daredevil is a ruler.; sent16 -> int2: if the daredevil is a ruler and does peruse then it is not unwholesome.; sent11 -> int3: the daredevil is a solidity if it is not unwholesome.; sent17 -> int4: the daredevil is not prolusory if it is a solidity.;
the fact that the arquebus is unwholesome hold.
sent3 -> int5: there exists something such that it is not a shinpad.; int5 & sent13 -> int6: the fact that the firebrick is subtropical and it is artless is wrong.; int6 -> int7: there exists something such that the fact that it is subtropical and it is artless is wrong.; int7 & sent7 -> int8: the russet is not artless.; sent10 & int8 -> int9: that the geophyte is a solidity but it is not prolusory is not correct.;
$hypothesis$ = there is something such that if it reddens quarreler and it is a kind of a ruler then it is not prolusory. ; $context$ = sent1: if the daredevil reddens quarreler and it is a ruler it is prolusory. sent2: the daredevil is prolusory. sent3: that the ranitidine is not a shinpad is correct. sent4: the fact that the daredevil is a sixty is true. sent5: the fact that the daredevil is not citric is not wrong. sent6: the resorcinol is unwholesome. sent7: the russet is not artless if there exists something such that that it is subtropical and is not artless is wrong. sent8: the arquebus is unwholesome if something does not redden quarreler and it is not a ruler. sent9: there exists something such that if it is a tuck and is imperceptible that it is unalike hold. sent10: that the fact that the geophyte is a solidity but it is not prolusory is not incorrect is not correct if the russet is disingenuous. sent11: something is a solidity if it is not unwholesome. sent12: the daredevil is prolusory if it is a solidity. sent13: the fact that the firebrick is both subtropical and artless is not correct if there exists something such that it is not a shinpad. sent14: there is something such that if it reddens quarreler and it is a ruler then it is prolusory. sent15: if something is a solidity it is prolusory. sent16: the fact that something is not unwholesome is correct if it is a ruler and it peruses. sent17: something is not prolusory if it is a solidity. sent18: that the daredevil reddens quarreler is right. ; $proof$ = 
void -> assump1: Let's assume that the daredevil does redden quarreler and it is a ruler.; assump1 -> int1: the daredevil is a ruler.; sent16 -> int2: if the daredevil is a ruler and does peruse then it is not unwholesome.; sent11 -> int3: the daredevil is a solidity if it is not unwholesome.; sent17 -> int4: the daredevil is not prolusory if it is a solidity.; __UNKNOWN__