the polymerization is hyperbolic.
sent1: that the refrigerator is not aboriginal is not wrong. sent2: the fact that the Tupelo is cryptanalytic is not incorrect. sent3: the Tupelo flames rigidity. sent4: there exists something such that the fact that it citifies banquet and is a kind of an ibis is not right. sent5: The rigidity flames Tupelo. sent6: something is cryptanalytic. sent7: there is something such that it is valedictory. sent8: if the Tupelo does not flame Teach and does not citify cremation that it is cryptanalytic is not wrong. sent9: if something that is cryptanalytic is valedictory then the polymerization is hyperbolic. sent10: if something does not build permanganate then it is both not aboriginal and valedictory. sent11: if either the kettle does not flame rigidity or it is aboriginal or both the Tupelo does not flame rigidity. sent12: if there exists something such that the fact that it does not citify banquet and it is an ibis is not correct then the kettle is cryptanalytic. sent13: if something is not a kind of an ibis then the kettle is cryptanalytic. sent14: if something does not build permanganate it is not aboriginal. sent15: if there exists something such that it does not citify cremation then the refrigerator does not build permanganate. sent16: there is something such that it does not citify cremation. sent17: the fact that the Tupelo does not citify banquet and is an ibis is wrong if the fact that it flames rigidity is true. sent18: if the refrigerator is not aboriginal and is valedictory the kettle is valedictory. sent19: something does citify cremation. sent20: there exists something such that it does not citify banquet and is an ibis. sent21: if the Tupelo is cryptanalytic and does not flame rigidity the polymerization is not hyperbolic. sent22: if the refrigerator does not build permanganate then it is not aboriginal. sent23: if the refrigerator is both not non-aboriginal and valedictory then the kettle is valedictory.
sent17 & sent3 -> int1: the fact that the Tupelo does not citify banquet but it is an ibis does not hold.; int1 -> int2: there is something such that the fact that that it does not citify banquet and is an ibis hold is not correct.; int2 & sent12 -> int3: that the kettle is cryptanalytic is correct.; sent10 -> int4: the refrigerator is not aboriginal but it is valedictory if it does not build permanganate.; sent16 & sent15 -> int5: the refrigerator does not build permanganate.; int4 & int5 -> int6: the refrigerator is non-aboriginal and not non-valedictory.; sent18 & int6 -> int7: the kettle is valedictory.; int3 & int7 -> int8: the kettle is cryptanalytic and it is valedictory.; int8 -> int9: there are cryptanalytic and valedictory things.; int9 & sent9 -> hypothesis;
the polymerization is not hyperbolic.
$hypothesis$ = the polymerization is hyperbolic. ; $context$ = sent1: that the refrigerator is not aboriginal is not wrong. sent2: the fact that the Tupelo is cryptanalytic is not incorrect. sent3: the Tupelo flames rigidity. sent4: there exists something such that the fact that it citifies banquet and is a kind of an ibis is not right. sent5: The rigidity flames Tupelo. sent6: something is cryptanalytic. sent7: there is something such that it is valedictory. sent8: if the Tupelo does not flame Teach and does not citify cremation that it is cryptanalytic is not wrong. sent9: if something that is cryptanalytic is valedictory then the polymerization is hyperbolic. sent10: if something does not build permanganate then it is both not aboriginal and valedictory. sent11: if either the kettle does not flame rigidity or it is aboriginal or both the Tupelo does not flame rigidity. sent12: if there exists something such that the fact that it does not citify banquet and it is an ibis is not correct then the kettle is cryptanalytic. sent13: if something is not a kind of an ibis then the kettle is cryptanalytic. sent14: if something does not build permanganate it is not aboriginal. sent15: if there exists something such that it does not citify cremation then the refrigerator does not build permanganate. sent16: there is something such that it does not citify cremation. sent17: the fact that the Tupelo does not citify banquet and is an ibis is wrong if the fact that it flames rigidity is true. sent18: if the refrigerator is not aboriginal and is valedictory the kettle is valedictory. sent19: something does citify cremation. sent20: there exists something such that it does not citify banquet and is an ibis. sent21: if the Tupelo is cryptanalytic and does not flame rigidity the polymerization is not hyperbolic. sent22: if the refrigerator does not build permanganate then it is not aboriginal. sent23: if the refrigerator is both not non-aboriginal and valedictory then the kettle is valedictory. ; $proof$ = 
sent17 & sent3 -> int1: the fact that the Tupelo does not citify banquet but it is an ibis does not hold.; int1 -> int2: there is something such that the fact that that it does not citify banquet and is an ibis hold is not correct.; int2 & sent12 -> int3: that the kettle is cryptanalytic is correct.; sent10 -> int4: the refrigerator is not aboriginal but it is valedictory if it does not build permanganate.; sent16 & sent15 -> int5: the refrigerator does not build permanganate.; int4 & int5 -> int6: the refrigerator is non-aboriginal and not non-valedictory.; sent18 & int6 -> int7: the kettle is valedictory.; int3 & int7 -> int8: the kettle is cryptanalytic and it is valedictory.; int8 -> int9: there are cryptanalytic and valedictory things.; int9 & sent9 -> hypothesis; __PROVED__