the operations is an administrator that is not a varietal.
sent1: if something is not doubles then the fact that it is an administrator and it is not a varietal is incorrect. sent2: the operations is both a redaction and not a varietal. sent3: the musnud does lean olive. sent4: something leans olive if the fact that it is not thermohydrometric and it is not a kind of a revoke is not true. sent5: the operations is not non-doubles. sent6: if the operations is a kind of a varietal it does not lean olive. sent7: the dill is not a kind of a doubles. sent8: the operations is a DSL. sent9: if the operations is a kind of a doubles then it does lean olive. sent10: the fact that something is not thermohydrometric and it is not a revoke is incorrect if that it does not lean transplant is not wrong. sent11: the operations is a cooperative. sent12: the cat's-ear does repine cattiness if it is tactile. sent13: the henna is a varietal. sent14: that that the operations is an administrator and it is a varietal is not true is right. sent15: the operations is non-doubles if the electrodynamometer does lean olive. sent16: the operations is not a varietal. sent17: if the fact that the operations is a tallyman but it is not Siouan is not right then it is non-doubles. sent18: the cat's-ear is an administrator. sent19: the operations is acapnic and does not afforest toothbrush. sent20: the restrainer is a crane that does not lean olive.
void -> assump1: Let's assume that the fact that the operations is a kind of an administrator but it is not a varietal is incorrect.; sent9 & sent5 -> int1: the operations leans olive.;
that the operations is an administrator but it is not a varietal is not correct.
sent1 -> int2: if the operations is not a doubles then the fact that it is a kind of an administrator and it is not a varietal is not correct.; sent4 -> int3: the electrodynamometer does lean olive if that it is not thermohydrometric and it is not a revoke is incorrect.; sent10 -> int4: if the electrodynamometer does not lean transplant then the fact that it is not thermohydrometric and it is not a revoke is not correct.;
$hypothesis$ = the operations is an administrator that is not a varietal. ; $context$ = sent1: if something is not doubles then the fact that it is an administrator and it is not a varietal is incorrect. sent2: the operations is both a redaction and not a varietal. sent3: the musnud does lean olive. sent4: something leans olive if the fact that it is not thermohydrometric and it is not a kind of a revoke is not true. sent5: the operations is not non-doubles. sent6: if the operations is a kind of a varietal it does not lean olive. sent7: the dill is not a kind of a doubles. sent8: the operations is a DSL. sent9: if the operations is a kind of a doubles then it does lean olive. sent10: the fact that something is not thermohydrometric and it is not a revoke is incorrect if that it does not lean transplant is not wrong. sent11: the operations is a cooperative. sent12: the cat's-ear does repine cattiness if it is tactile. sent13: the henna is a varietal. sent14: that that the operations is an administrator and it is a varietal is not true is right. sent15: the operations is non-doubles if the electrodynamometer does lean olive. sent16: the operations is not a varietal. sent17: if the fact that the operations is a tallyman but it is not Siouan is not right then it is non-doubles. sent18: the cat's-ear is an administrator. sent19: the operations is acapnic and does not afforest toothbrush. sent20: the restrainer is a crane that does not lean olive. ; $proof$ = 
void -> assump1: Let's assume that the fact that the operations is a kind of an administrator but it is not a varietal is incorrect.; sent9 & sent5 -> int1: the operations leans olive.; __UNKNOWN__