there exists something such that it schools and it is a straddle.
sent1: that the cinquefoil is not paleolithic and it does not consist does not hold. sent2: if the fact that the cinquefoil is not paleolithic and it does not consist is not right the colored consist. sent3: there exists something such that it is a kind of a school. sent4: the factotum damps abdication if there is something such that it beaches. sent5: that the Fang is a beach and it is alvine is not correct. sent6: if something does damp abdication it is not a homosexuality. sent7: if the fact that the colored is a Apostle is right then the stacks is a straddle. sent8: if there exists something such that the fact that it is both not a beach and alvine does not hold the factotum does damp abdication. sent9: if something does consist then it is a Apostle. sent10: there exists something such that it does straddle. sent11: the fact that the cinquefoil is non-paleolithic thing that consists is wrong. sent12: the colored consists if the cinquefoil consists. sent13: the fact that something is a kind of a homosexuality is right. sent14: if something is not a homosexuality then the warehouse is either an antiaircraft or apophatic or both. sent15: there exists something such that the fact that it does beach and is alvine is not correct. sent16: the stacks is a school if the fact that the warehouse is not non-apophatic is right. sent17: the warehouse is a straddle if the stacks is a kind of an antiaircraft. sent18: that that the Fang is both not a beach and alvine is not correct is right. sent19: the stacks schools if the warehouse is a kind of an antiaircraft. sent20: there is something such that it does not beach and is not non-alvine.
sent18 -> int1: there exists something such that the fact that it is both not a beach and alvine is false.; int1 & sent8 -> int2: the factotum does damp abdication.; sent6 -> int3: that if the factotum does damp abdication the factotum is not a kind of a homosexuality is not wrong.; int2 & int3 -> int4: the factotum is not a homosexuality.; int4 -> int5: something is not a homosexuality.; int5 & sent14 -> int6: the warehouse is an antiaircraft and/or it is apophatic.; int6 & sent19 & sent16 -> int7: the stacks does school.; sent9 -> int8: the colored is a Apostle if it consists.; sent2 & sent1 -> int9: the colored consists.; int8 & int9 -> int10: the colored is a Apostle.; sent7 & int10 -> int11: the stacks does straddle.; int7 & int11 -> int12: the stacks is a school and a straddle.; int12 -> hypothesis;
$hypothesis$ = there exists something such that it schools and it is a straddle. ; $context$ = sent1: that the cinquefoil is not paleolithic and it does not consist does not hold. sent2: if the fact that the cinquefoil is not paleolithic and it does not consist is not right the colored consist. sent3: there exists something such that it is a kind of a school. sent4: the factotum damps abdication if there is something such that it beaches. sent5: that the Fang is a beach and it is alvine is not correct. sent6: if something does damp abdication it is not a homosexuality. sent7: if the fact that the colored is a Apostle is right then the stacks is a straddle. sent8: if there exists something such that the fact that it is both not a beach and alvine does not hold the factotum does damp abdication. sent9: if something does consist then it is a Apostle. sent10: there exists something such that it does straddle. sent11: the fact that the cinquefoil is non-paleolithic thing that consists is wrong. sent12: the colored consists if the cinquefoil consists. sent13: the fact that something is a kind of a homosexuality is right. sent14: if something is not a homosexuality then the warehouse is either an antiaircraft or apophatic or both. sent15: there exists something such that the fact that it does beach and is alvine is not correct. sent16: the stacks is a school if the fact that the warehouse is not non-apophatic is right. sent17: the warehouse is a straddle if the stacks is a kind of an antiaircraft. sent18: that that the Fang is both not a beach and alvine is not correct is right. sent19: the stacks schools if the warehouse is a kind of an antiaircraft. sent20: there is something such that it does not beach and is not non-alvine. ; $proof$ = 
sent18 -> int1: there exists something such that the fact that it is both not a beach and alvine is false.; int1 & sent8 -> int2: the factotum does damp abdication.; sent6 -> int3: that if the factotum does damp abdication the factotum is not a kind of a homosexuality is not wrong.; int2 & int3 -> int4: the factotum is not a homosexuality.; int4 -> int5: something is not a homosexuality.; int5 & sent14 -> int6: the warehouse is an antiaircraft and/or it is apophatic.; int6 & sent19 & sent16 -> int7: the stacks does school.; sent9 -> int8: the colored is a Apostle if it consists.; sent2 & sent1 -> int9: the colored consists.; int8 & int9 -> int10: the colored is a Apostle.; sent7 & int10 -> int11: the stacks does straddle.; int7 & int11 -> int12: the stacks is a school and a straddle.; int12 -> hypothesis; __PROVED__