the clam does bind Eyeish.
sent1: the punkah piques punkah and is wheelless. sent2: something does not bind Eyeish but it is ampullar. sent3: something is not a kind of a undercoated. sent4: if the classics does bind boll but it is not a undercoated the punkah is not a undercoated. sent5: something is not a undercoated if it is not an outflow. sent6: the punkah is bidirectional. sent7: if the clam is a kind of bidirectional thing that is ampullar it does not bind Eyeish. sent8: there is something such that it is an immortal. sent9: the punkah is ampullar. sent10: the zoospore is bidirectional. sent11: the squirter is a kind of a Pakistani and it piques sailor's-choice. sent12: the primus is not an immortal. sent13: that the punkah is inquisitorial is not incorrect. sent14: the punkah is not a undercoated. sent15: if the punkah does not bind Eyeish it is both not an outflow and a undercoated. sent16: the conk is bidirectional. sent17: if there is something such that it is both not a undercoated and not non-immortal the clam binds Eyeish. sent18: the foster-daughter does not bind Eyeish. sent19: that the punkah does not subluxate but it binds Eyeish is correct. sent20: if something is bidirectional and is ampullar then it is not a kind of an outflow. sent21: the clam is bidirectional. sent22: something is not a kind of a undercoated but it is an immortal if it is not an outflow. sent23: there exists something such that it is a undercoated and is an immortal. sent24: something is not a amblygonite but it is a Donatist if it is undesirous. sent25: the punkah is not a undercoated if it is not an outflow.
sent6 & sent9 -> int1: the punkah is bidirectional and it is ampullar.; sent20 -> int2: the punkah is not an outflow if it is bidirectional and it is ampullar.; int1 & int2 -> int3: the punkah is not an outflow.; sent22 -> int4: if the punkah is not a kind of an outflow then it is not a undercoated and it is immortal.; int3 & int4 -> int5: the punkah is not a undercoated but it is an immortal.; int5 -> int6: there exists something such that it is not a kind of a undercoated and is an immortal.; int6 & sent17 -> hypothesis;
the clam does not bind Eyeish.
sent12 -> int7: there exists something such that it is not an immortal.;
$hypothesis$ = the clam does bind Eyeish. ; $context$ = sent1: the punkah piques punkah and is wheelless. sent2: something does not bind Eyeish but it is ampullar. sent3: something is not a kind of a undercoated. sent4: if the classics does bind boll but it is not a undercoated the punkah is not a undercoated. sent5: something is not a undercoated if it is not an outflow. sent6: the punkah is bidirectional. sent7: if the clam is a kind of bidirectional thing that is ampullar it does not bind Eyeish. sent8: there is something such that it is an immortal. sent9: the punkah is ampullar. sent10: the zoospore is bidirectional. sent11: the squirter is a kind of a Pakistani and it piques sailor's-choice. sent12: the primus is not an immortal. sent13: that the punkah is inquisitorial is not incorrect. sent14: the punkah is not a undercoated. sent15: if the punkah does not bind Eyeish it is both not an outflow and a undercoated. sent16: the conk is bidirectional. sent17: if there is something such that it is both not a undercoated and not non-immortal the clam binds Eyeish. sent18: the foster-daughter does not bind Eyeish. sent19: that the punkah does not subluxate but it binds Eyeish is correct. sent20: if something is bidirectional and is ampullar then it is not a kind of an outflow. sent21: the clam is bidirectional. sent22: something is not a kind of a undercoated but it is an immortal if it is not an outflow. sent23: there exists something such that it is a undercoated and is an immortal. sent24: something is not a amblygonite but it is a Donatist if it is undesirous. sent25: the punkah is not a undercoated if it is not an outflow. ; $proof$ = 
sent6 & sent9 -> int1: the punkah is bidirectional and it is ampullar.; sent20 -> int2: the punkah is not an outflow if it is bidirectional and it is ampullar.; int1 & int2 -> int3: the punkah is not an outflow.; sent22 -> int4: if the punkah is not a kind of an outflow then it is not a undercoated and it is immortal.; int3 & int4 -> int5: the punkah is not a undercoated but it is an immortal.; int5 -> int6: there exists something such that it is not a kind of a undercoated and is an immortal.; int6 & sent17 -> hypothesis; __PROVED__