the wingback is a kind of a spoil.
sent1: there exists something such that it does not exceed Brattleboro. sent2: the henbane is not a dominant if the oarswoman is a score and not a oblation. sent3: The hollowness does exceed scrimshaw. sent4: something is adnate and it exceeds Brattleboro. sent5: that the teammate does not exceed Brattleboro is not incorrect if something does not exceed mephenytoin but it is nonmetallic. sent6: the fact that the scrimshaw is not a Aramaic hold if something is adnate thing that does not exceed Brattleboro. sent7: there is something such that it does exceed hollowness. sent8: the oarswoman is not a score and not a oblation. sent9: the henbane is not a dominant if the oarswoman does not score and it is not a kind of a oblation. sent10: the scrimshaw does exceed hollowness. sent11: the oarswoman does not score. sent12: there is something such that it is adnate. sent13: if the fact that something does exceed hollowness but it is not Aramaic is not false the wingback does not spoil. sent14: there are non-Aramaic things. sent15: if something that does exceed mephenytoin is nonmetallic that the teammate does not exceed Brattleboro hold. sent16: if the henbane is not a dominant the teammate is adnate. sent17: there is something such that it does not exceed mephenytoin. sent18: there exists something such that it does not exceed mephenytoin and it is nonmetallic.
sent9 & sent8 -> int1: the henbane is not dominant.; int1 & sent16 -> int2: the teammate is adnate.; sent18 & sent5 -> int3: the teammate does not exceed Brattleboro.; int2 & int3 -> int4: the teammate is adnate but it does not exceed Brattleboro.; int4 -> int5: there is something such that it is adnate thing that does not exceed Brattleboro.; int5 & sent6 -> int6: the scrimshaw is not Aramaic.; int6 & sent10 -> int7: the scrimshaw does exceed hollowness and is not Aramaic.; int7 -> int8: something does exceed hollowness and is not a Aramaic.; int8 & sent13 -> hypothesis;
$hypothesis$ = the wingback is a kind of a spoil. ; $context$ = sent1: there exists something such that it does not exceed Brattleboro. sent2: the henbane is not a dominant if the oarswoman is a score and not a oblation. sent3: The hollowness does exceed scrimshaw. sent4: something is adnate and it exceeds Brattleboro. sent5: that the teammate does not exceed Brattleboro is not incorrect if something does not exceed mephenytoin but it is nonmetallic. sent6: the fact that the scrimshaw is not a Aramaic hold if something is adnate thing that does not exceed Brattleboro. sent7: there is something such that it does exceed hollowness. sent8: the oarswoman is not a score and not a oblation. sent9: the henbane is not a dominant if the oarswoman does not score and it is not a kind of a oblation. sent10: the scrimshaw does exceed hollowness. sent11: the oarswoman does not score. sent12: there is something such that it is adnate. sent13: if the fact that something does exceed hollowness but it is not Aramaic is not false the wingback does not spoil. sent14: there are non-Aramaic things. sent15: if something that does exceed mephenytoin is nonmetallic that the teammate does not exceed Brattleboro hold. sent16: if the henbane is not a dominant the teammate is adnate. sent17: there is something such that it does not exceed mephenytoin. sent18: there exists something such that it does not exceed mephenytoin and it is nonmetallic. ; $proof$ = 
sent9 & sent8 -> int1: the henbane is not dominant.; int1 & sent16 -> int2: the teammate is adnate.; sent18 & sent5 -> int3: the teammate does not exceed Brattleboro.; int2 & int3 -> int4: the teammate is adnate but it does not exceed Brattleboro.; int4 -> int5: there is something such that it is adnate thing that does not exceed Brattleboro.; int5 & sent6 -> int6: the scrimshaw is not Aramaic.; int6 & sent10 -> int7: the scrimshaw does exceed hollowness and is not Aramaic.; int7 -> int8: something does exceed hollowness and is not a Aramaic.; int8 & sent13 -> hypothesis; __DISPROVED__