the ferricyanide is not resistive.
sent1: the exhaust is resistive. sent2: if the hogan does impinge the tidemark is both not a strawboard and not resistive. sent3: the fact that the tidemark indurates ratline and is not a kind of an afferent is not true. sent4: that the ferricyanide does not tout derangement and it is not a kind of a Wampanoag is not right if it is not a seasonal. sent5: the ferricyanide is resistive if the tidemark is not a strawboard and not resistive. sent6: the ferricyanide does not tout clear if the exhaust does impinge and/or is legible. sent7: if the tidemark impinges the hogan is a strawboard. sent8: if the exhaust touts clear the hogan does touts clear. sent9: if the ferricyanide is legible or is resistive or both the exhaust does not tout clear. sent10: if that the ferricyanide does not tout clear is right it is not a seasonal. sent11: if that the ferricyanide does not tout derangement and it is not a Wampanoag does not hold it is not resistive. sent12: something does impinge if it touts clear. sent13: the hogan is not a strawboard. sent14: that the tidemark is a strawboard but it does not impinge is not correct. sent15: if the tidemark does not impinge either the exhaust impinge or it is legible or both.
void -> assump1: Let's assume that the tidemark does impinge.; sent7 & assump1 -> int1: the hogan is a strawboard.; int1 & sent13 -> int2: this is contradiction.; [assump1] & int2 -> int3: the tidemark does not impinge.; int3 & sent15 -> int4: that the exhaust does impinge and/or it is legible hold.; int4 & sent6 -> int5: the ferricyanide does not tout clear.; int5 & sent10 -> int6: the ferricyanide is not seasonal.; int6 & sent4 -> int7: that the ferricyanide does not tout derangement and it is not a kind of a Wampanoag is not correct.; int7 & sent11 -> hypothesis;
the ferricyanide is resistive.
sent12 -> int8: if the hogan touts clear it does impinge.;
$hypothesis$ = the ferricyanide is not resistive. ; $context$ = sent1: the exhaust is resistive. sent2: if the hogan does impinge the tidemark is both not a strawboard and not resistive. sent3: the fact that the tidemark indurates ratline and is not a kind of an afferent is not true. sent4: that the ferricyanide does not tout derangement and it is not a kind of a Wampanoag is not right if it is not a seasonal. sent5: the ferricyanide is resistive if the tidemark is not a strawboard and not resistive. sent6: the ferricyanide does not tout clear if the exhaust does impinge and/or is legible. sent7: if the tidemark impinges the hogan is a strawboard. sent8: if the exhaust touts clear the hogan does touts clear. sent9: if the ferricyanide is legible or is resistive or both the exhaust does not tout clear. sent10: if that the ferricyanide does not tout clear is right it is not a seasonal. sent11: if that the ferricyanide does not tout derangement and it is not a Wampanoag does not hold it is not resistive. sent12: something does impinge if it touts clear. sent13: the hogan is not a strawboard. sent14: that the tidemark is a strawboard but it does not impinge is not correct. sent15: if the tidemark does not impinge either the exhaust impinge or it is legible or both. ; $proof$ = 
void -> assump1: Let's assume that the tidemark does impinge.; sent7 & assump1 -> int1: the hogan is a strawboard.; int1 & sent13 -> int2: this is contradiction.; [assump1] & int2 -> int3: the tidemark does not impinge.; int3 & sent15 -> int4: that the exhaust does impinge and/or it is legible hold.; int4 & sent6 -> int5: the ferricyanide does not tout clear.; int5 & sent10 -> int6: the ferricyanide is not seasonal.; int6 & sent4 -> int7: that the ferricyanide does not tout derangement and it is not a kind of a Wampanoag is not correct.; int7 & sent11 -> hypothesis; __PROVED__