the fact that the whiting does not variegate cortege and/or is not mechanistic is not right.
sent1: the nailer is not mechanistic. sent2: that the whiting is not motional is correct if it does not variegate cortege. sent3: the silicle is not a front. sent4: if something does variegate cortege and it does front then it is not a kind of a arsine. sent5: the nailer is not a kind of a deadeye. sent6: the fact that the nailer does gall heads-up and is non-mechanistic is not right. sent7: the whiting is not a thump if the nailer is not mechanistic. sent8: something is not a barbet if it is a kind of a gland and it does gall Uhland. sent9: the fact that either the whiting does not variegate cortege or it is not mechanistic or both is not correct if the nailer does not variegate cortege. sent10: that the amnesic variegates cortege and is not a arsine is not right. sent11: the whiting is a kind of non-protozoological thing that is not a kind of a thievishness. sent12: the nailer is not motional if it variegates cortege and it is not a front. sent13: something does not variegate cortege if it is a thump and it is not supersonic. sent14: the nailer is not motional and does not gall heads-up if the amnesic is not motional. sent15: if something that variegates cortege is not a thump it is not motional. sent16: if something is mechanistic and it is motional it is not supersonic. sent17: if the nailer is not motional then it is a thump and it is not supersonic. sent18: the amnesic is not a kind of a arsine if it is not a front. sent19: if the nailer does variegate cortege but it is not a front it does not gall heads-up. sent20: the fact that the amnesic is motional but it is not a arsine is not true.
void -> assump1: Let's assume that the amnesic is motional.; sent13 -> int1: the nailer does not variegate cortege if it thumps and it is not supersonic.;
$hypothesis$ = the fact that the whiting does not variegate cortege and/or is not mechanistic is not right. ; $context$ = sent1: the nailer is not mechanistic. sent2: that the whiting is not motional is correct if it does not variegate cortege. sent3: the silicle is not a front. sent4: if something does variegate cortege and it does front then it is not a kind of a arsine. sent5: the nailer is not a kind of a deadeye. sent6: the fact that the nailer does gall heads-up and is non-mechanistic is not right. sent7: the whiting is not a thump if the nailer is not mechanistic. sent8: something is not a barbet if it is a kind of a gland and it does gall Uhland. sent9: the fact that either the whiting does not variegate cortege or it is not mechanistic or both is not correct if the nailer does not variegate cortege. sent10: that the amnesic variegates cortege and is not a arsine is not right. sent11: the whiting is a kind of non-protozoological thing that is not a kind of a thievishness. sent12: the nailer is not motional if it variegates cortege and it is not a front. sent13: something does not variegate cortege if it is a thump and it is not supersonic. sent14: the nailer is not motional and does not gall heads-up if the amnesic is not motional. sent15: if something that variegates cortege is not a thump it is not motional. sent16: if something is mechanistic and it is motional it is not supersonic. sent17: if the nailer is not motional then it is a thump and it is not supersonic. sent18: the amnesic is not a kind of a arsine if it is not a front. sent19: if the nailer does variegate cortege but it is not a front it does not gall heads-up. sent20: the fact that the amnesic is motional but it is not a arsine is not true. ; $proof$ = 
void -> assump1: Let's assume that the amnesic is motional.; sent13 -> int1: the nailer does not variegate cortege if it thumps and it is not supersonic.; __UNKNOWN__