either the outdoorsman is a kind of an assent or it is offensive or both.
sent1: the outdoorsman is a kind of a nidus if the maul is offensive. sent2: if something is not a kind of a nidus the fact that that it either is an assent or is offensive or both is true is incorrect. sent3: if the maul is a nidus then the outdoorsman is a kind of an assent.
the fact that the outdoorsman is a kind of an assent or it is offensive or both is false.
sent2 -> int1: if the outdoorsman is not a kind of a nidus that it assents and/or it is offensive does not hold.;
$hypothesis$ = either the outdoorsman is a kind of an assent or it is offensive or both. ; $context$ = sent1: the outdoorsman is a kind of a nidus if the maul is offensive. sent2: if something is not a kind of a nidus the fact that that it either is an assent or is offensive or both is true is incorrect. sent3: if the maul is a nidus then the outdoorsman is a kind of an assent. ; $proof$ = 
__UNKNOWN__