the handwear does not summarize resoluteness.
sent1: the trichopteran does not offset Calvary. sent2: the handwear does not offset addend. sent3: the quadruplicate does offset Calvary. sent4: the handwear is a Cymatiidae. sent5: the agglutinin does not summarize resoluteness. sent6: the handwear does offset Calvary if it does summarize resoluteness. sent7: the handwear is Viennese. sent8: the matriculate is legislative. sent9: the fireman is not legislative. sent10: the straw does not offset Calvary and is a kind of a soul. sent11: that the handwear is not basidiomycetous hold. sent12: the handwear is non-phonetics thing that does offset baldachin. sent13: the handwear does not gestate. sent14: the Guatemalan summarizes resoluteness. sent15: there exists nothing such that it is systematic and does not roll. sent16: the floxuridine does not offset Calvary. sent17: the comedienne does summarize resoluteness. sent18: the handwear is not reciprocal.
void -> assump1: Let's assume that the fact that the handwear summarizes resoluteness is not wrong.; sent6 & assump1 -> int1: the handwear offsets Calvary.;
the handwear does summarize resoluteness.
sent15 -> int2: that the elephant-tusk is systematic and not a roll does not hold.; int2 -> int3: there is something such that that it is systematic and it does not roll is false.;
$hypothesis$ = the handwear does not summarize resoluteness. ; $context$ = sent1: the trichopteran does not offset Calvary. sent2: the handwear does not offset addend. sent3: the quadruplicate does offset Calvary. sent4: the handwear is a Cymatiidae. sent5: the agglutinin does not summarize resoluteness. sent6: the handwear does offset Calvary if it does summarize resoluteness. sent7: the handwear is Viennese. sent8: the matriculate is legislative. sent9: the fireman is not legislative. sent10: the straw does not offset Calvary and is a kind of a soul. sent11: that the handwear is not basidiomycetous hold. sent12: the handwear is non-phonetics thing that does offset baldachin. sent13: the handwear does not gestate. sent14: the Guatemalan summarizes resoluteness. sent15: there exists nothing such that it is systematic and does not roll. sent16: the floxuridine does not offset Calvary. sent17: the comedienne does summarize resoluteness. sent18: the handwear is not reciprocal. ; $proof$ = 
void -> assump1: Let's assume that the fact that the handwear summarizes resoluteness is not wrong.; sent6 & assump1 -> int1: the handwear offsets Calvary.; __UNKNOWN__