the officeholder samples autoradiograph and does sample spongioblast.
sent1: the tenderizer is not alkaline if the fact that the foretop is not a mezzotint and/or it is not microcephalic does not hold. sent2: if the parcel is microcephalic the pongid is a mezzotint. sent3: the tenderizer is not alkaline if the fact that either the foretop is not a mezzotint or it is microcephalic or both is wrong. sent4: the officeholder samples spongioblast. sent5: the fact that something does sample autoradiograph and does sample spongioblast is wrong if it is not microcephalic. sent6: if that the foretop either does not sample spongioblast or is microcephalic or both is false the officeholder is not alkaline. sent7: The spongioblast samples officeholder. sent8: the parcel is not reparable. sent9: the officeholder samples autoradiograph if the fact that the tenderizer clouds thoughtfulness is right. sent10: the parcel is both not microcephalic and not reparable. sent11: the tenderizer is not alkaline if the fact that either the foretop is a mezzotint or it is not microcephalic or both is not right. sent12: the tenderizer does cloud thoughtfulness if it is not alkaline. sent13: if the foretop is not alkaline then the parcel is both not non-microcephalic and reparable. sent14: if the fact that the foretop either is not microcephalic or is reparable or both is not correct then the parcel is not a mezzotint.
sent10 -> int1: the parcel is not microcephalic.;
that the officeholder samples autoradiograph and does sample spongioblast does not hold.
sent5 -> int2: if the officeholder is not microcephalic the fact that it samples autoradiograph and it samples spongioblast does not hold.;
$hypothesis$ = the officeholder samples autoradiograph and does sample spongioblast. ; $context$ = sent1: the tenderizer is not alkaline if the fact that the foretop is not a mezzotint and/or it is not microcephalic does not hold. sent2: if the parcel is microcephalic the pongid is a mezzotint. sent3: the tenderizer is not alkaline if the fact that either the foretop is not a mezzotint or it is microcephalic or both is wrong. sent4: the officeholder samples spongioblast. sent5: the fact that something does sample autoradiograph and does sample spongioblast is wrong if it is not microcephalic. sent6: if that the foretop either does not sample spongioblast or is microcephalic or both is false the officeholder is not alkaline. sent7: The spongioblast samples officeholder. sent8: the parcel is not reparable. sent9: the officeholder samples autoradiograph if the fact that the tenderizer clouds thoughtfulness is right. sent10: the parcel is both not microcephalic and not reparable. sent11: the tenderizer is not alkaline if the fact that either the foretop is a mezzotint or it is not microcephalic or both is not right. sent12: the tenderizer does cloud thoughtfulness if it is not alkaline. sent13: if the foretop is not alkaline then the parcel is both not non-microcephalic and reparable. sent14: if the fact that the foretop either is not microcephalic or is reparable or both is not correct then the parcel is not a mezzotint. ; $proof$ = 
sent10 -> int1: the parcel is not microcephalic.; __UNKNOWN__