the teju is a kind of a pushball.
sent1: if the fact that something is not a guenon and it is not damascene does not hold it does not impel transcription. sent2: the fact that the teju is not a pushball is correct if it is a imperium. sent3: if the Bengali is not a Durio then the teju is not a linesman. sent4: the transcription is not a kind of a fall if it does not overreach gloriosa or it is a kind of a geostrategy or both. sent5: the teju is not unafraid and/or it does bastinado quadroon. sent6: the antilepton is not a quadratic if it does impel proxy and does not shun innovativeness. sent7: if that either something is not a sailing-race or it is a imperium or both is correct it is not a kind of a pushball. sent8: if something is not a linesman then that it is either not a hyperbole or a geostrategy or both is not correct. sent9: something that does not impel transcription is both not non-archesporial and not efficient. sent10: that that the teju is not a geostrategy and it is not a kind of a linesman hold is wrong. sent11: the rest is not a kind of a pump if there exists something such that it is not a quadratic. sent12: if the fact that the teju is not a geostrategy and it is not a linesman is not right it is not a kind of a hyperbole. sent13: the fact that the teju does not overreach steerage but it is academic is false. sent14: the antilepton does impel proxy and does not shun innovativeness. sent15: something is not a sailing-race and/or it is a kind of a imperium if it is not a hyperbole. sent16: the fact that something is not a guenon and not a damascene is not correct if it is not a pump. sent17: if the fact that something is not a hyperbole or is a geostrategy or both is not right then it is a pushball. sent18: the raven is not a hyperbole.
sent15 -> int1: if the teju is not a hyperbole then it is not a kind of a sailing-race or it is a imperium or both.; sent12 & sent10 -> int2: the teju is not a kind of a hyperbole.; int1 & int2 -> int3: the teju is not a sailing-race or it is a kind of a imperium or both.; sent7 -> int4: if either the teju is not a sailing-race or it is a kind of a imperium or both it is not a pushball.; int3 & int4 -> hypothesis;
the teju is a pushball.
sent17 -> int5: if that the teju is not a hyperbole or a geostrategy or both is not right then it is a pushball.; sent8 -> int6: if the teju is not a linesman then that it is not a hyperbole and/or is a geostrategy is false.; sent9 -> int7: the rest is archesporial and not efficient if it does not impel transcription.; sent1 -> int8: if that the rest is not a kind of a guenon and it is not a damascene is not correct then that it does not impel transcription is not wrong.; sent16 -> int9: if the rest is not a pump then the fact that it is not a kind of a guenon and is not damascene does not hold.; sent6 & sent14 -> int10: the antilepton is not a kind of a quadratic.; int10 -> int11: there is something such that it is not a quadratic.; int11 & sent11 -> int12: the rest is not a kind of a pump.; int9 & int12 -> int13: that the rest is not a guenon and not a damascene does not hold.; int8 & int13 -> int14: the rest does not impel transcription.; int7 & int14 -> int15: the rest is archesporial and is not efficient.; int15 -> int16: there is something such that it is archesporial and it is not efficient.;
$hypothesis$ = the teju is a kind of a pushball. ; $context$ = sent1: if the fact that something is not a guenon and it is not damascene does not hold it does not impel transcription. sent2: the fact that the teju is not a pushball is correct if it is a imperium. sent3: if the Bengali is not a Durio then the teju is not a linesman. sent4: the transcription is not a kind of a fall if it does not overreach gloriosa or it is a kind of a geostrategy or both. sent5: the teju is not unafraid and/or it does bastinado quadroon. sent6: the antilepton is not a quadratic if it does impel proxy and does not shun innovativeness. sent7: if that either something is not a sailing-race or it is a imperium or both is correct it is not a kind of a pushball. sent8: if something is not a linesman then that it is either not a hyperbole or a geostrategy or both is not correct. sent9: something that does not impel transcription is both not non-archesporial and not efficient. sent10: that that the teju is not a geostrategy and it is not a kind of a linesman hold is wrong. sent11: the rest is not a kind of a pump if there exists something such that it is not a quadratic. sent12: if the fact that the teju is not a geostrategy and it is not a linesman is not right it is not a kind of a hyperbole. sent13: the fact that the teju does not overreach steerage but it is academic is false. sent14: the antilepton does impel proxy and does not shun innovativeness. sent15: something is not a sailing-race and/or it is a kind of a imperium if it is not a hyperbole. sent16: the fact that something is not a guenon and not a damascene is not correct if it is not a pump. sent17: if the fact that something is not a hyperbole or is a geostrategy or both is not right then it is a pushball. sent18: the raven is not a hyperbole. ; $proof$ = 
sent15 -> int1: if the teju is not a hyperbole then it is not a kind of a sailing-race or it is a imperium or both.; sent12 & sent10 -> int2: the teju is not a kind of a hyperbole.; int1 & int2 -> int3: the teju is not a sailing-race or it is a kind of a imperium or both.; sent7 -> int4: if either the teju is not a sailing-race or it is a kind of a imperium or both it is not a pushball.; int3 & int4 -> hypothesis; __DISPROVED__