the wash does not sequence wash.
sent1: something does sequence wash and it does uncoil. sent2: the wash does not sequence wash if something does sequence hatchel and it is tractable. sent3: the wash is not a Puritanism if the porridge is a Puritanism but it does not uncoil. sent4: if the porridge is not a beekeeper then it does sequence hatchel. sent5: that the wash is a beekeeper is correct. sent6: something sequences hatchel. sent7: if that the porridge does not sequence wood-frog but it is a beekeeper is wrong it does sequence hatchel. sent8: something sequences hatchel and it is a Puritanism. sent9: if something is not a kind of a Puritanism it does sequence wash and crochets tumescence. sent10: the wash is tractable. sent11: that the porridge does not sequence wood-frog but it is a beekeeper does not hold. sent12: something sequences tent-fly and it is a junkie. sent13: something does uncoil if it crochets tumescence. sent14: the porridge does crochet tumescence and it is a Puritanism. sent15: the porridge is a Puritanism. sent16: something is tractable if it sequences wood-frog. sent17: if something uncoils then it is tractable. sent18: if something that crochets tumescence sequences wash the wash is not a kind of a Puritanism. sent19: there exists something such that it is a beekeeper. sent20: the porridge is a Puritanism and does not uncoil if the vincristine is tractable.
sent14 -> int1: the porridge crochets tumescence.; sent13 -> int2: if the porridge does crochet tumescence it does uncoil.; int1 & int2 -> int3: the porridge uncoils.; sent17 -> int4: if the porridge uncoils then it is tractable.; int3 & int4 -> int5: the porridge is tractable.; sent7 & sent11 -> int6: the porridge sequences hatchel.; int5 & int6 -> int7: the porridge does sequence hatchel and it is tractable.; int7 -> int8: there exists something such that it sequences hatchel and is tractable.; int8 & sent2 -> hypothesis;
the wash does sequence wash.
sent9 -> int9: the wash sequences wash and it crochets tumescence if that it is not a Puritanism is true.;
$hypothesis$ = the wash does not sequence wash. ; $context$ = sent1: something does sequence wash and it does uncoil. sent2: the wash does not sequence wash if something does sequence hatchel and it is tractable. sent3: the wash is not a Puritanism if the porridge is a Puritanism but it does not uncoil. sent4: if the porridge is not a beekeeper then it does sequence hatchel. sent5: that the wash is a beekeeper is correct. sent6: something sequences hatchel. sent7: if that the porridge does not sequence wood-frog but it is a beekeeper is wrong it does sequence hatchel. sent8: something sequences hatchel and it is a Puritanism. sent9: if something is not a kind of a Puritanism it does sequence wash and crochets tumescence. sent10: the wash is tractable. sent11: that the porridge does not sequence wood-frog but it is a beekeeper does not hold. sent12: something sequences tent-fly and it is a junkie. sent13: something does uncoil if it crochets tumescence. sent14: the porridge does crochet tumescence and it is a Puritanism. sent15: the porridge is a Puritanism. sent16: something is tractable if it sequences wood-frog. sent17: if something uncoils then it is tractable. sent18: if something that crochets tumescence sequences wash the wash is not a kind of a Puritanism. sent19: there exists something such that it is a beekeeper. sent20: the porridge is a Puritanism and does not uncoil if the vincristine is tractable. ; $proof$ = 
sent14 -> int1: the porridge crochets tumescence.; sent13 -> int2: if the porridge does crochet tumescence it does uncoil.; int1 & int2 -> int3: the porridge uncoils.; sent17 -> int4: if the porridge uncoils then it is tractable.; int3 & int4 -> int5: the porridge is tractable.; sent7 & sent11 -> int6: the porridge sequences hatchel.; int5 & int6 -> int7: the porridge does sequence hatchel and it is tractable.; int7 -> int8: there exists something such that it sequences hatchel and is tractable.; int8 & sent2 -> hypothesis; __PROVED__