there is something such that if it quintuples Tartu the fact that it is a kind of a silva that does not quintuple handrest is not true.
sent1: that the courthouse does not quintuple handrest is correct. sent2: if the fact that the doorplate is a Teredinidae but it does not quintuple screech is right then it is not a sleet. sent3: that the courthouse quintuples handrest and quintuples burdock does not hold if it quintuples placental. sent4: if the Drixoral is a glut then that it is automatic thing that silences neoliberalism does not hold. sent5: the courthouse does not quintuple Tartu if it is a silva and it does quintuple handrest. sent6: the courthouse is both not non-year-round and not ungrateful. sent7: that the soapbox is ungrateful thing that is a basileus is incorrect if it does quintuple handrest. sent8: there is something such that if it does quintuple Tartu then it is a silva and it does not quintuple handrest.
void -> assump1: Let's assume that the courthouse is a silva and does not quintuple handrest.;
$hypothesis$ = there is something such that if it quintuples Tartu the fact that it is a kind of a silva that does not quintuple handrest is not true. ; $context$ = sent1: that the courthouse does not quintuple handrest is correct. sent2: if the fact that the doorplate is a Teredinidae but it does not quintuple screech is right then it is not a sleet. sent3: that the courthouse quintuples handrest and quintuples burdock does not hold if it quintuples placental. sent4: if the Drixoral is a glut then that it is automatic thing that silences neoliberalism does not hold. sent5: the courthouse does not quintuple Tartu if it is a silva and it does quintuple handrest. sent6: the courthouse is both not non-year-round and not ungrateful. sent7: that the soapbox is ungrateful thing that is a basileus is incorrect if it does quintuple handrest. sent8: there is something such that if it does quintuple Tartu then it is a silva and it does not quintuple handrest. ; $proof$ = 
void -> assump1: Let's assume that the courthouse is a silva and does not quintuple handrest.; __UNKNOWN__