the bitterwood does impinge Hogan.
sent1: something that is not a kind of a pitch and is comparative does impinge Hogan. sent2: the polytheist does not brief aluminate if the auxin is a comparative. sent3: The aluminate briefs polytheist. sent4: the auxin is not a Aum if the Hogan is incredulous. sent5: the Hogan is a kind of a Aum if it is a pitch. sent6: if the fact that the Hogan is a Aum is true the fact that the bitterwood does wail but it is not a kind of a Aum is incorrect. sent7: if the Hogan is a kind of a Aum then the fact that the fact that the bitterwood does wail and is a Aum is not correct hold. sent8: something that does not brief aluminate and is a kind of a comparative does impinge Hogan. sent9: the auxin is not an acclaim. sent10: the polytheist is thematic or it does not wail or both. sent11: the polytheist briefs aluminate. sent12: the fact that the bitterwood does not impinge Hogan is correct if that it wails and is not a Aum is not correct. sent13: the fact that if the polytheist does not wail the polytheist is not a Aum is not false. sent14: something that is thematic is not a Aum. sent15: the bitterwood does not impinge Hogan if it is a Aum. sent16: the fact that the bitterwood wails and it is a Aum is not right. sent17: the auxin is not an acclaim if the Hogan is not a pitch. sent18: the auxin is non-incredulous thing that is not an acclaim if the Hogan is not a pitch. sent19: the auxin is comparative if it is not incredulous and it does not acclaim. sent20: if the bitterwood is incredulous the Hogan is not a kind of a Aum.
void -> assump1: Let's assume that the Hogan is not a pitch.; sent18 & assump1 -> int1: the auxin is not incredulous and it is not a kind of an acclaim.; int1 & sent19 -> int2: the auxin is a comparative.; int2 & sent2 -> int3: the polytheist does not brief aluminate.; int3 & sent11 -> int4: this is contradiction.; [assump1] & int4 -> int5: the Hogan is a pitch.; int5 & sent5 -> int6: the Hogan is a Aum.; int6 & sent6 -> int7: the fact that the bitterwood does wail and is not a kind of a Aum is not correct.; int7 & sent12 -> hypothesis;
the bitterwood impinges Hogan.
sent1 -> int8: if the bitterwood is not a pitch and is comparative it impinges Hogan.;
$hypothesis$ = the bitterwood does impinge Hogan. ; $context$ = sent1: something that is not a kind of a pitch and is comparative does impinge Hogan. sent2: the polytheist does not brief aluminate if the auxin is a comparative. sent3: The aluminate briefs polytheist. sent4: the auxin is not a Aum if the Hogan is incredulous. sent5: the Hogan is a kind of a Aum if it is a pitch. sent6: if the fact that the Hogan is a Aum is true the fact that the bitterwood does wail but it is not a kind of a Aum is incorrect. sent7: if the Hogan is a kind of a Aum then the fact that the fact that the bitterwood does wail and is a Aum is not correct hold. sent8: something that does not brief aluminate and is a kind of a comparative does impinge Hogan. sent9: the auxin is not an acclaim. sent10: the polytheist is thematic or it does not wail or both. sent11: the polytheist briefs aluminate. sent12: the fact that the bitterwood does not impinge Hogan is correct if that it wails and is not a Aum is not correct. sent13: the fact that if the polytheist does not wail the polytheist is not a Aum is not false. sent14: something that is thematic is not a Aum. sent15: the bitterwood does not impinge Hogan if it is a Aum. sent16: the fact that the bitterwood wails and it is a Aum is not right. sent17: the auxin is not an acclaim if the Hogan is not a pitch. sent18: the auxin is non-incredulous thing that is not an acclaim if the Hogan is not a pitch. sent19: the auxin is comparative if it is not incredulous and it does not acclaim. sent20: if the bitterwood is incredulous the Hogan is not a kind of a Aum. ; $proof$ = 
void -> assump1: Let's assume that the Hogan is not a pitch.; sent18 & assump1 -> int1: the auxin is not incredulous and it is not a kind of an acclaim.; int1 & sent19 -> int2: the auxin is a comparative.; int2 & sent2 -> int3: the polytheist does not brief aluminate.; int3 & sent11 -> int4: this is contradiction.; [assump1] & int4 -> int5: the Hogan is a pitch.; int5 & sent5 -> int6: the Hogan is a Aum.; int6 & sent6 -> int7: the fact that the bitterwood does wail and is not a kind of a Aum is not correct.; int7 & sent12 -> hypothesis; __DISPROVED__