the batiste is not a fife.
sent1: if the amphetamine is a palindrome then the fact that it is agrologic and/or it is an egghead is right. sent2: the amphetamine is a womanhood if the rocker is not fathomable. sent3: if the sediment is a springbok the rocker is not fathomable. sent4: that something is not a oarsmanship and it is not a springbok does not hold if it is fathomable. sent5: if the fact that something is not a oarsmanship and not a springbok is not correct the fact that it is a fife is correct. sent6: the fact that the sediment is a springbok and it is a oarsmanship does not hold. sent7: the sediment is not a springbok. sent8: the amphetamine is agrologic or it is an egghead or both. sent9: something is a springbok and/or it is not a kind of a womanhood. sent10: if something is a palindrome then either it is agrologic or it is an egghead or both. sent11: the sediment is not a oarsmanship. sent12: the batiste is not a fife if there is something such that it is not non-agrologic and/or it is not an egghead. sent13: the sediment is not a palindrome. sent14: the sediment is both not a boardinghouse and airworthy. sent15: if there is something such that it is not an egghead the batiste is not a fife. sent16: if the amphetamine is not a springbok the sediment is a palindrome. sent17: something is agrologic and/or it is not a kind of an egghead if it is a palindrome. sent18: the sediment does not acquit. sent19: there exists something such that the fact that it is not an egghead and it is a palindrome is wrong. sent20: something that is a womanhood is a palindrome. sent21: there is something such that either it is agrologic or it is an egghead or both. sent22: the batiste is not fathomable. sent23: there is something such that it is a oarsmanship and/or is not a womanhood.
void -> assump1: Let's assume that the sediment is not a springbok but it is a oarsmanship.; assump1 -> int1: the fact that the sediment is a kind of a oarsmanship is correct.; int1 & sent11 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the sediment is not a springbok but it is a oarsmanship is false.; sent20 -> int4: the fact that the amphetamine is a palindrome is right if it is a womanhood.; sent17 -> int5: if that the amphetamine is a kind of a palindrome is not wrong then it is agrologic and/or it is not a kind of an egghead.;
the batiste is a fife.
sent5 -> int6: if that the batiste is not a kind of a oarsmanship and it is not a kind of a springbok does not hold then it is a fife.; sent4 -> int7: that the batiste is not a oarsmanship and it is not a kind of a springbok is not right if it is fathomable.;
$hypothesis$ = the batiste is not a fife. ; $context$ = sent1: if the amphetamine is a palindrome then the fact that it is agrologic and/or it is an egghead is right. sent2: the amphetamine is a womanhood if the rocker is not fathomable. sent3: if the sediment is a springbok the rocker is not fathomable. sent4: that something is not a oarsmanship and it is not a springbok does not hold if it is fathomable. sent5: if the fact that something is not a oarsmanship and not a springbok is not correct the fact that it is a fife is correct. sent6: the fact that the sediment is a springbok and it is a oarsmanship does not hold. sent7: the sediment is not a springbok. sent8: the amphetamine is agrologic or it is an egghead or both. sent9: something is a springbok and/or it is not a kind of a womanhood. sent10: if something is a palindrome then either it is agrologic or it is an egghead or both. sent11: the sediment is not a oarsmanship. sent12: the batiste is not a fife if there is something such that it is not non-agrologic and/or it is not an egghead. sent13: the sediment is not a palindrome. sent14: the sediment is both not a boardinghouse and airworthy. sent15: if there is something such that it is not an egghead the batiste is not a fife. sent16: if the amphetamine is not a springbok the sediment is a palindrome. sent17: something is agrologic and/or it is not a kind of an egghead if it is a palindrome. sent18: the sediment does not acquit. sent19: there exists something such that the fact that it is not an egghead and it is a palindrome is wrong. sent20: something that is a womanhood is a palindrome. sent21: there is something such that either it is agrologic or it is an egghead or both. sent22: the batiste is not fathomable. sent23: there is something such that it is a oarsmanship and/or is not a womanhood. ; $proof$ = 
void -> assump1: Let's assume that the sediment is not a springbok but it is a oarsmanship.; assump1 -> int1: the fact that the sediment is a kind of a oarsmanship is correct.; int1 & sent11 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the sediment is not a springbok but it is a oarsmanship is false.; sent20 -> int4: the fact that the amphetamine is a palindrome is right if it is a womanhood.; sent17 -> int5: if that the amphetamine is a kind of a palindrome is not wrong then it is agrologic and/or it is not a kind of an egghead.; __UNKNOWN__