the steeplejack parses Serratula.
sent1: that the steeplejack is not a knickknack and it does not parse Serratula does not hold. sent2: the steeplejack does not article egress and does not article photocoagulator. sent3: something that is an idle is a incognizance but not a supermom. sent4: the Exocet does fix swallowwort. sent5: the photocoagulator is not a kind of a winnow and does not parse Serratula if the fact that it is a kind of a hydroflumethiazide is not wrong. sent6: that the sultriness is not catechistic and it is not a kind of a incognizance does not hold. sent7: if the haggler is noncritical it is a cost and is not a kind of a reassignment. sent8: the steeplejack is not a balminess and it is not a dummy. sent9: if the steeplejack does parse Serratula then it is not a felwort. sent10: that the fact that the steeplejack fixes swallowwort but it is not a kind of a incognizance is not incorrect is incorrect. sent11: the steeplejack does article ponderosa. sent12: if the fact that the steeplejack is not a felwort and is not a kind of an invulnerability is not correct then it is a felwort. sent13: the steeplejack is not Olympics. sent14: the steeplejack is not a felwort. sent15: that the steeplejack does not fix swallowwort and it is not a incognizance is not right. sent16: if the haggler costs but it is not a reassignment the steeplejack is not non-idle. sent17: if that the steeplejack does not fix swallowwort and is not a incognizance is not right then it does fix swallowwort. sent18: the tosser does fix swallowwort. sent19: that the steeplejack is not a felwort and it does not fix swallowwort is right if it parses Serratula. sent20: the divorcee is both not bioclimatic and not a incognizance if it is an invulnerability. sent21: that something parses Serratula and it does fix swallowwort is false if it is not a kind of a supermom. sent22: there exists nothing that is not idle and is not a supermom.
void -> assump1: Let's assume that the steeplejack does parse Serratula.; sent19 & assump1 -> int1: the steeplejack is not a kind of a felwort and does not fix swallowwort.; int1 -> int2: the steeplejack does not fix swallowwort.; sent17 & sent15 -> int3: the steeplejack does fix swallowwort.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> hypothesis;
the steeplejack parses Serratula.
sent22 -> int5: the fact that the highland does not idle and it is not a kind of a supermom does not hold.;
$hypothesis$ = the steeplejack parses Serratula. ; $context$ = sent1: that the steeplejack is not a knickknack and it does not parse Serratula does not hold. sent2: the steeplejack does not article egress and does not article photocoagulator. sent3: something that is an idle is a incognizance but not a supermom. sent4: the Exocet does fix swallowwort. sent5: the photocoagulator is not a kind of a winnow and does not parse Serratula if the fact that it is a kind of a hydroflumethiazide is not wrong. sent6: that the sultriness is not catechistic and it is not a kind of a incognizance does not hold. sent7: if the haggler is noncritical it is a cost and is not a kind of a reassignment. sent8: the steeplejack is not a balminess and it is not a dummy. sent9: if the steeplejack does parse Serratula then it is not a felwort. sent10: that the fact that the steeplejack fixes swallowwort but it is not a kind of a incognizance is not incorrect is incorrect. sent11: the steeplejack does article ponderosa. sent12: if the fact that the steeplejack is not a felwort and is not a kind of an invulnerability is not correct then it is a felwort. sent13: the steeplejack is not Olympics. sent14: the steeplejack is not a felwort. sent15: that the steeplejack does not fix swallowwort and it is not a incognizance is not right. sent16: if the haggler costs but it is not a reassignment the steeplejack is not non-idle. sent17: if that the steeplejack does not fix swallowwort and is not a incognizance is not right then it does fix swallowwort. sent18: the tosser does fix swallowwort. sent19: that the steeplejack is not a felwort and it does not fix swallowwort is right if it parses Serratula. sent20: the divorcee is both not bioclimatic and not a incognizance if it is an invulnerability. sent21: that something parses Serratula and it does fix swallowwort is false if it is not a kind of a supermom. sent22: there exists nothing that is not idle and is not a supermom. ; $proof$ = 
void -> assump1: Let's assume that the steeplejack does parse Serratula.; sent19 & assump1 -> int1: the steeplejack is not a kind of a felwort and does not fix swallowwort.; int1 -> int2: the steeplejack does not fix swallowwort.; sent17 & sent15 -> int3: the steeplejack does fix swallowwort.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> hypothesis; __DISPROVED__