the snuffler is prehensile.
sent1: the cripple is a kind of a technical. sent2: something is a dovetail and it disrespects ilang-ilang. sent3: something is sympatric and is greater. sent4: the Page is not non-apneic and it is a pool if the mover is not non-apneic. sent5: the cripple is not greater if there exists something such that it does dovetail and disrespects ilang-ilang. sent6: something is technical if it is greater. sent7: the sunrise is non-sensorineural if there is something such that it is sympatric and is not greater. sent8: if the mover is not a kind of an undergraduate that the sunrise is not a pool but apneic is incorrect. sent9: if something is apneic and it is a pool it is not an undergraduate. sent10: the cripple is sympatric and is technical. sent11: something is prehensile if it is sympatric. sent12: something is not non-greater if it is sensorineural. sent13: there is something such that it is not greater. sent14: something is sympatric. sent15: the fact that the cripple is not non-sensorineural is correct if that the sunrise does not pool but it is apneic is not correct. sent16: the Page is apneic. sent17: the mover is not apneic if the sunrise is non-sensorineural. sent18: if that the mover does disrespect ilang-ilang and is a dovetail is wrong then it is not an undergraduate. sent19: if the Page is not an undergraduate the snuffler is not prehensile.
sent10 -> int1: the cripple is sympatric.; sent2 & sent5 -> int2: the cripple is not greater.; int1 & int2 -> int3: the cripple is sympatric but it is not greater.; int3 -> int4: there are sympatric and non-greater things.; int4 & sent7 -> int5: that the sunrise is not sensorineural is not false.; int5 & sent17 -> int6: the fact that the mover is not apneic is not false.; int6 & sent4 -> int7: the Page is apneic and it is a pool.; sent9 -> int8: if the Page is apneic thing that does pool it is not a kind of an undergraduate.; int7 & int8 -> int9: the Page is not an undergraduate.; int9 & sent19 -> hypothesis;
the snuffler is prehensile.
sent11 -> int10: if the snuffler is sympatric it is prehensile.; sent6 -> int11: if that the cripple is greater is not false then it is technical.; sent12 -> int12: the cripple is greater if it is sensorineural.;
$hypothesis$ = the snuffler is prehensile. ; $context$ = sent1: the cripple is a kind of a technical. sent2: something is a dovetail and it disrespects ilang-ilang. sent3: something is sympatric and is greater. sent4: the Page is not non-apneic and it is a pool if the mover is not non-apneic. sent5: the cripple is not greater if there exists something such that it does dovetail and disrespects ilang-ilang. sent6: something is technical if it is greater. sent7: the sunrise is non-sensorineural if there is something such that it is sympatric and is not greater. sent8: if the mover is not a kind of an undergraduate that the sunrise is not a pool but apneic is incorrect. sent9: if something is apneic and it is a pool it is not an undergraduate. sent10: the cripple is sympatric and is technical. sent11: something is prehensile if it is sympatric. sent12: something is not non-greater if it is sensorineural. sent13: there is something such that it is not greater. sent14: something is sympatric. sent15: the fact that the cripple is not non-sensorineural is correct if that the sunrise does not pool but it is apneic is not correct. sent16: the Page is apneic. sent17: the mover is not apneic if the sunrise is non-sensorineural. sent18: if that the mover does disrespect ilang-ilang and is a dovetail is wrong then it is not an undergraduate. sent19: if the Page is not an undergraduate the snuffler is not prehensile. ; $proof$ = 
sent10 -> int1: the cripple is sympatric.; sent2 & sent5 -> int2: the cripple is not greater.; int1 & int2 -> int3: the cripple is sympatric but it is not greater.; int3 -> int4: there are sympatric and non-greater things.; int4 & sent7 -> int5: that the sunrise is not sensorineural is not false.; int5 & sent17 -> int6: the fact that the mover is not apneic is not false.; int6 & sent4 -> int7: the Page is apneic and it is a pool.; sent9 -> int8: if the Page is apneic thing that does pool it is not a kind of an undergraduate.; int7 & int8 -> int9: the Page is not an undergraduate.; int9 & sent19 -> hypothesis; __DISPROVED__