either the mashie is not a transponder or it is not a cinquefoil or both.
sent1: the mashie is a kind of a priest. sent2: if something is a kind of a verdict then that either it is not a cinquefoil or it does not wheel mashie or both is not right. sent3: the mashie is a verdict if the fact that it is autoradiographic hold. sent4: the wainscot wheels mashie and is a verdict. sent5: the mashie does wheel mashie if the wainscot is not a kind of a verdict. sent6: the wainscot is autoradiographic. sent7: the mashie is a cinquefoil. sent8: the fact that something does not shore myriad and/or it is not elementary is false if it is complimentary. sent9: if that something is autoradiographic hold it is a cinquefoil. sent10: the wainscot does wheel mashie. sent11: the mashie is autoradiographic if the wainscot is a kind of a verdict. sent12: the fact that either something is not a transponder or it is not a cinquefoil or both is wrong if it is autoradiographic. sent13: the mashie does wheel mashie. sent14: that the wainscot is not autoradiographic and/or does not wheel mashie does not hold.
sent4 -> int1: the wainscot is a kind of a verdict.; int1 & sent11 -> int2: the mashie is autoradiographic.; sent12 -> int3: that the mashie is not a transponder or it is not a cinquefoil or both is not right if it is autoradiographic.; int2 & int3 -> hypothesis;
that the mashie is not a kind of a transponder or is not a cinquefoil or both is correct.
$hypothesis$ = either the mashie is not a transponder or it is not a cinquefoil or both. ; $context$ = sent1: the mashie is a kind of a priest. sent2: if something is a kind of a verdict then that either it is not a cinquefoil or it does not wheel mashie or both is not right. sent3: the mashie is a verdict if the fact that it is autoradiographic hold. sent4: the wainscot wheels mashie and is a verdict. sent5: the mashie does wheel mashie if the wainscot is not a kind of a verdict. sent6: the wainscot is autoradiographic. sent7: the mashie is a cinquefoil. sent8: the fact that something does not shore myriad and/or it is not elementary is false if it is complimentary. sent9: if that something is autoradiographic hold it is a cinquefoil. sent10: the wainscot does wheel mashie. sent11: the mashie is autoradiographic if the wainscot is a kind of a verdict. sent12: the fact that either something is not a transponder or it is not a cinquefoil or both is wrong if it is autoradiographic. sent13: the mashie does wheel mashie. sent14: that the wainscot is not autoradiographic and/or does not wheel mashie does not hold. ; $proof$ = 
sent4 -> int1: the wainscot is a kind of a verdict.; int1 & sent11 -> int2: the mashie is autoradiographic.; sent12 -> int3: that the mashie is not a transponder or it is not a cinquefoil or both is not right if it is autoradiographic.; int2 & int3 -> hypothesis; __DISPROVED__