the woolsorter is not arthrosporic but actuarial.
sent1: everything either does not redound or is a ctenidium or both. sent2: the woolsorter is not arthrosporic but actuarial if there is something such that it is not a netting. sent3: there is something such that it does reorganize and it is a pintle. sent4: something is not a dudeen or it is a kind of a netting or both if it does not redound. sent5: if there is something such that it is not a pintle and is actuarial then the fact that the woolsorter is not a dudeen is right. sent6: something does not redound if it either does not redound or is a kind of a ctenidium or both. sent7: that something is not arthrosporic but actuarial is incorrect if it is not a dudeen. sent8: the antimycin is a dudeen and/or it does not reorganize if there is something such that that it does not reorganize is not wrong. sent9: everything does not redound. sent10: if there is something such that it is a netting then the woolsorter does not reorganize. sent11: the antimycin is not a kind of a dudeen. sent12: the fact that the woolsorter does reorganize hold if there exists something such that it is not actuarial. sent13: the fact that the teaser does reorganize is incorrect if the antimycin does not reorganize. sent14: if the woolsorter is not actuarial it is both not a dudeen and arthrosporic. sent15: if there is something such that it is non-arthrosporic then the woolsorter is a netting. sent16: if something does not reorganize and is a pintle then the teaser does not net. sent17: if that something is not arthrosporic but actuarial is not right it is arthrosporic. sent18: the teaser does not reorganize if the antimycin is a kind of a dudeen. sent19: the teaser is not a Lucretius but it is telluric.
that the woolsorter is not arthrosporic but actuarial is not true.
sent7 -> int1: if the woolsorter is not a kind of a dudeen the fact that the fact that it is both non-arthrosporic and actuarial is correct is incorrect.; sent4 -> int2: the antimycin is not a kind of a dudeen and/or it is a netting if it does not redound.; sent6 -> int3: if the antimycin does not redound and/or it is a ctenidium then it does not redound.; sent1 -> int4: the antimycin either does not redound or is a ctenidium or both.; int3 & int4 -> int5: the antimycin does not redound.; int2 & int5 -> int6: the antimycin is not a dudeen or it does net or both.; int6 -> int7: something is not a kind of a dudeen and/or it is a netting.;
$hypothesis$ = the woolsorter is not arthrosporic but actuarial. ; $context$ = sent1: everything either does not redound or is a ctenidium or both. sent2: the woolsorter is not arthrosporic but actuarial if there is something such that it is not a netting. sent3: there is something such that it does reorganize and it is a pintle. sent4: something is not a dudeen or it is a kind of a netting or both if it does not redound. sent5: if there is something such that it is not a pintle and is actuarial then the fact that the woolsorter is not a dudeen is right. sent6: something does not redound if it either does not redound or is a kind of a ctenidium or both. sent7: that something is not arthrosporic but actuarial is incorrect if it is not a dudeen. sent8: the antimycin is a dudeen and/or it does not reorganize if there is something such that that it does not reorganize is not wrong. sent9: everything does not redound. sent10: if there is something such that it is a netting then the woolsorter does not reorganize. sent11: the antimycin is not a kind of a dudeen. sent12: the fact that the woolsorter does reorganize hold if there exists something such that it is not actuarial. sent13: the fact that the teaser does reorganize is incorrect if the antimycin does not reorganize. sent14: if the woolsorter is not actuarial it is both not a dudeen and arthrosporic. sent15: if there is something such that it is non-arthrosporic then the woolsorter is a netting. sent16: if something does not reorganize and is a pintle then the teaser does not net. sent17: if that something is not arthrosporic but actuarial is not right it is arthrosporic. sent18: the teaser does not reorganize if the antimycin is a kind of a dudeen. sent19: the teaser is not a Lucretius but it is telluric. ; $proof$ = 
__UNKNOWN__