if the woodcutter does crank assessor that the bannister is a newswoman but it is non-capitular is not correct.
sent1: the bannister is a newswoman and is not capitular if the woodcutter cranks assessor. sent2: if the bannister is capitular then the fact that the tossup is a newswoman but it does not crank assessor is wrong. sent3: the fact that the tossup is a newswoman but it is not capitular is not correct if the bannister is a newswoman. sent4: the fact that the tossup is capitular is not false if the bannister is a kind of a newswoman. sent5: that the fact that the woodcutter is a newswoman that does not crank assessor is not wrong is false if the tossup is a newswoman. sent6: if the tossup is a kind of a newswoman the bannister is a kind of a newswoman that is not capitular. sent7: the fact that that the bannister is a kind of a newswoman but it is not capitular is not true is right if the fact that the woodcutter is a newswoman is right. sent8: the fact that the bannister is a kind of a newswoman and is capitular does not hold if the woodcutter cranks assessor. sent9: if the bannister cranks assessor the fact that the woodcutter cranks assessor but it is not capitular is not true. sent10: if the bannister is a newswoman then the fact that the woodcutter does crank assessor and is not capitular is not true. sent11: the fact that the tossup is a newswoman and not capitular is incorrect. sent12: if the woodcutter does crank assessor the tossup is a newswoman. sent13: the fact that the bannister is a newswoman but not capitular is not right if the tossup is a kind of a newswoman. sent14: the bannister is a newswoman but it is not capitular. sent15: if the fact that the tossup is a newswoman is not wrong that the bannister is a newswoman and it is capitular does not hold. sent16: the tossup is capitular. sent17: that the bannister is a newswoman and is capitular is incorrect. sent18: if the bannister is a newswoman that the woodcutter is a newswoman but it is not capitular is false. sent19: that the tossup cranks assessor and is not a kind of a newswoman is not true if the woodcutter is capitular. sent20: the fact that the tossup is a Algonkian but not a newswoman is false.
void -> assump1: Let's assume that the woodcutter does crank assessor.; sent12 & assump1 -> int1: the tossup is a newswoman.; sent13 & int1 -> int2: the fact that the bannister is a newswoman but it is not capitular is incorrect.; [assump1] & int2 -> hypothesis;
$hypothesis$ = if the woodcutter does crank assessor that the bannister is a newswoman but it is non-capitular is not correct. ; $context$ = sent1: the bannister is a newswoman and is not capitular if the woodcutter cranks assessor. sent2: if the bannister is capitular then the fact that the tossup is a newswoman but it does not crank assessor is wrong. sent3: the fact that the tossup is a newswoman but it is not capitular is not correct if the bannister is a newswoman. sent4: the fact that the tossup is capitular is not false if the bannister is a kind of a newswoman. sent5: that the fact that the woodcutter is a newswoman that does not crank assessor is not wrong is false if the tossup is a newswoman. sent6: if the tossup is a kind of a newswoman the bannister is a kind of a newswoman that is not capitular. sent7: the fact that that the bannister is a kind of a newswoman but it is not capitular is not true is right if the fact that the woodcutter is a newswoman is right. sent8: the fact that the bannister is a kind of a newswoman and is capitular does not hold if the woodcutter cranks assessor. sent9: if the bannister cranks assessor the fact that the woodcutter cranks assessor but it is not capitular is not true. sent10: if the bannister is a newswoman then the fact that the woodcutter does crank assessor and is not capitular is not true. sent11: the fact that the tossup is a newswoman and not capitular is incorrect. sent12: if the woodcutter does crank assessor the tossup is a newswoman. sent13: the fact that the bannister is a newswoman but not capitular is not right if the tossup is a kind of a newswoman. sent14: the bannister is a newswoman but it is not capitular. sent15: if the fact that the tossup is a newswoman is not wrong that the bannister is a newswoman and it is capitular does not hold. sent16: the tossup is capitular. sent17: that the bannister is a newswoman and is capitular is incorrect. sent18: if the bannister is a newswoman that the woodcutter is a newswoman but it is not capitular is false. sent19: that the tossup cranks assessor and is not a kind of a newswoman is not true if the woodcutter is capitular. sent20: the fact that the tossup is a Algonkian but not a newswoman is false. ; $proof$ = 
void -> assump1: Let's assume that the woodcutter does crank assessor.; sent12 & assump1 -> int1: the tossup is a newswoman.; sent13 & int1 -> int2: the fact that the bannister is a newswoman but it is not capitular is incorrect.; [assump1] & int2 -> hypothesis; __PROVED__