the handbow is gastroduodenal.
sent1: if something does not overreach Lepus it is not a percale and it is not a Amur. sent2: something is not a teakettle and it is non-alternating if it is not a traumatology. sent3: the maggot is not a traumatology if it is a dislocation but not a network. sent4: if something that does overreach Lepus is not eutrophic it is a mug. sent5: the fact that the maggot is a teakettle and it does overreach Lepus is wrong. sent6: the whitewash is not a Amur if there exists something such that it is either a mug or a percale or both. sent7: the maggot does not group. sent8: either the thyrse does nutate or it overreaches Lepus or both. sent9: if that the fact that something overreaches cat's-claw and is not warmed hold does not hold it is a suer. sent10: that the wagonwright is not a Amur and is not a kind of a teakettle is not right if it is alternating. sent11: that the handbow overreaches Lepus and it is eutrophic is not true. sent12: if the conductress is a traumatology it is alternating. sent13: the wagonwright does not mug but it is a percale if the conductress is a Amur. sent14: if the cat's-claw is not alternating and is not a kind of a traumatology then that the conductress is not a teakettle hold. sent15: the handbow does not overreach Lepus if it is both a dislocation and a traumatology. sent16: if the fact that something overreaches Lepus but it is not eutrophic does not hold then it is not non-gastroduodenal. sent17: the cat's-claw is not alternating and it is not a kind of a traumatology. sent18: something that is not gastroduodenal and is not a teakettle is not a Amur. sent19: the handbow is not eutrophic. sent20: the handbow is alternating. sent21: the maggot is a dislocation that does not network. sent22: if something is not a traumatology it is not a teakettle. sent23: if the handbow is eutrophic it is gastroduodenal. sent24: if the maggot is not a kind of a teakettle and it does not alternate then that the whitewash is a Amur hold. sent25: if the conductress is alternating then the wagonwright alternating. sent26: the maggot is a network if that it is a kind of a Amur is not false.
sent4 -> int1: the handbow is a mug if it overreaches Lepus and is not eutrophic.; void -> assump1: Let's assume that the handbow overreaches Lepus but it is not eutrophic.; int1 & assump1 -> int2: the handbow mugs.; int2 -> int3: either the handbow does mug or it is a percale or both.; int3 -> int4: there exists something such that it does mug and/or it is a percale.; int4 & sent6 -> int5: the whitewash is not a Amur.; sent2 -> int6: the maggot is both not a teakettle and not alternating if it is not a traumatology.; sent3 & sent21 -> int7: the maggot is not a traumatology.; int6 & int7 -> int8: the maggot is not a teakettle and is not alternating.; sent24 & int8 -> int9: the whitewash is a Amur.; int5 & int9 -> int10: this is contradiction.; [assump1] & int10 -> int11: the fact that the handbow does overreach Lepus but it is not eutrophic is not correct.; sent16 -> int12: the handbow is gastroduodenal if the fact that it does overreach Lepus and is not eutrophic does not hold.; int11 & int12 -> hypothesis;
the handbow is not gastroduodenal.
$hypothesis$ = the handbow is gastroduodenal. ; $context$ = sent1: if something does not overreach Lepus it is not a percale and it is not a Amur. sent2: something is not a teakettle and it is non-alternating if it is not a traumatology. sent3: the maggot is not a traumatology if it is a dislocation but not a network. sent4: if something that does overreach Lepus is not eutrophic it is a mug. sent5: the fact that the maggot is a teakettle and it does overreach Lepus is wrong. sent6: the whitewash is not a Amur if there exists something such that it is either a mug or a percale or both. sent7: the maggot does not group. sent8: either the thyrse does nutate or it overreaches Lepus or both. sent9: if that the fact that something overreaches cat's-claw and is not warmed hold does not hold it is a suer. sent10: that the wagonwright is not a Amur and is not a kind of a teakettle is not right if it is alternating. sent11: that the handbow overreaches Lepus and it is eutrophic is not true. sent12: if the conductress is a traumatology it is alternating. sent13: the wagonwright does not mug but it is a percale if the conductress is a Amur. sent14: if the cat's-claw is not alternating and is not a kind of a traumatology then that the conductress is not a teakettle hold. sent15: the handbow does not overreach Lepus if it is both a dislocation and a traumatology. sent16: if the fact that something overreaches Lepus but it is not eutrophic does not hold then it is not non-gastroduodenal. sent17: the cat's-claw is not alternating and it is not a kind of a traumatology. sent18: something that is not gastroduodenal and is not a teakettle is not a Amur. sent19: the handbow is not eutrophic. sent20: the handbow is alternating. sent21: the maggot is a dislocation that does not network. sent22: if something is not a traumatology it is not a teakettle. sent23: if the handbow is eutrophic it is gastroduodenal. sent24: if the maggot is not a kind of a teakettle and it does not alternate then that the whitewash is a Amur hold. sent25: if the conductress is alternating then the wagonwright alternating. sent26: the maggot is a network if that it is a kind of a Amur is not false. ; $proof$ = 
sent4 -> int1: the handbow is a mug if it overreaches Lepus and is not eutrophic.; void -> assump1: Let's assume that the handbow overreaches Lepus but it is not eutrophic.; int1 & assump1 -> int2: the handbow mugs.; int2 -> int3: either the handbow does mug or it is a percale or both.; int3 -> int4: there exists something such that it does mug and/or it is a percale.; int4 & sent6 -> int5: the whitewash is not a Amur.; sent2 -> int6: the maggot is both not a teakettle and not alternating if it is not a traumatology.; sent3 & sent21 -> int7: the maggot is not a traumatology.; int6 & int7 -> int8: the maggot is not a teakettle and is not alternating.; sent24 & int8 -> int9: the whitewash is a Amur.; int5 & int9 -> int10: this is contradiction.; [assump1] & int10 -> int11: the fact that the handbow does overreach Lepus but it is not eutrophic is not correct.; sent16 -> int12: the handbow is gastroduodenal if the fact that it does overreach Lepus and is not eutrophic does not hold.; int11 & int12 -> hypothesis; __PROVED__