the matchstick is myopathic.
sent1: the fact that the matchstick is cowardly is correct. sent2: if the fact that the hookup is not a kind of a supernatural and/or it is not a duffel is wrong it is cowardly. sent3: that either the hookup is not a supernatural or it is not a duffel or both is incorrect. sent4: if that the hookup is a supernatural and/or it is not a kind of a duffel is wrong it is cowardly. sent5: if the hookup does not dilate it does not service matchstick. sent6: the matchstick is myopathic if the hookup is not a NIJ. sent7: the tool is not myopathic. sent8: if the fact that either the hookup is not myopathic or it is not excretory or both is wrong then it is a kind of a duffel. sent9: if the fact that that the fact that the hookup is not a kind of a duffel and/or it is myopathic is correct is wrong is true then it is supernatural. sent10: the hookup is ratty if the fact that it does not feast or it is a kind of a NIJ or both is wrong. sent11: the hookup is excretory. sent12: the fact that the hookup either is not spectrometric or is not supernatural or both does not hold. sent13: the hookup is a kind of a supernatural.
void -> assump1: Let's assume that the fact that the hookup is excretory but not a NIJ is false.; sent2 & sent3 -> int1: the hookup is cowardly.;
$hypothesis$ = the matchstick is myopathic. ; $context$ = sent1: the fact that the matchstick is cowardly is correct. sent2: if the fact that the hookup is not a kind of a supernatural and/or it is not a duffel is wrong it is cowardly. sent3: that either the hookup is not a supernatural or it is not a duffel or both is incorrect. sent4: if that the hookup is a supernatural and/or it is not a kind of a duffel is wrong it is cowardly. sent5: if the hookup does not dilate it does not service matchstick. sent6: the matchstick is myopathic if the hookup is not a NIJ. sent7: the tool is not myopathic. sent8: if the fact that either the hookup is not myopathic or it is not excretory or both is wrong then it is a kind of a duffel. sent9: if the fact that that the fact that the hookup is not a kind of a duffel and/or it is myopathic is correct is wrong is true then it is supernatural. sent10: the hookup is ratty if the fact that it does not feast or it is a kind of a NIJ or both is wrong. sent11: the hookup is excretory. sent12: the fact that the hookup either is not spectrometric or is not supernatural or both does not hold. sent13: the hookup is a kind of a supernatural. ; $proof$ = 
void -> assump1: Let's assume that the fact that the hookup is excretory but not a NIJ is false.; sent2 & sent3 -> int1: the hookup is cowardly.; __UNKNOWN__