the vine is flexible and it is tubercular.
sent1: if there exists something such that it is flexible the tailor does ignore Eight. sent2: the fact that the vine does not varnish Podocarpus and is flexible is wrong. sent3: the fact that the vine does not varnish Podocarpus and is flexible is not right if there is something such that it does varnish Podocarpus. sent4: there is something such that it is terpsichorean. sent5: if something does refute kindliness then that either it does not rick or it is a kind of a cookware or both is not right. sent6: the fact that the vine does not varnish Podocarpus and is not flexible is incorrect if there is something such that it does varnish Podocarpus. sent7: if there exists something such that it does not quell then the sandwichman either is a kind of a Furnivall or does not quell or both. sent8: if something is not an oxytocin the fact that it is flexible and it is tubercular is not true. sent9: something that is a kind of a Furnivall or does not quell or both does not quell. sent10: there exists something such that it does varnish Podocarpus. sent11: that either the styrax is not antisatellite or it cants or both does not hold. sent12: if something does not quell then it does bank or it varnishes Podocarpus or both. sent13: the essence is a smart if the sandwichman is a bank. sent14: something is tubercular if it is smart. sent15: the essence is a smart if the sandwichman does varnish Podocarpus. sent16: the fact that the flower is shut is true if that the styrax is not antisatellite and/or it does cant is not right. sent17: there is something such that it is an oxytocin. sent18: the angle does not quell if there exists something such that the fact that it does not rick or is a cookware or both is wrong. sent19: the flower does refute kindliness if it is shut. sent20: if the fact that something does not varnish Podocarpus and it is not flexible is false it is flexible. sent21: the vine is hydrometric. sent22: the vine is a smart if there is something such that it is an oxytocin.
sent17 & sent22 -> int1: that the vine is a smart is not incorrect.; sent14 -> int2: the vine is tubercular if it is a smart.; int1 & int2 -> int3: the vine is tubercular.; sent20 -> int4: if the fact that the vine does not varnish Podocarpus and it is not flexible is not right then it is flexible.; sent10 & sent6 -> int5: that the vine does not varnish Podocarpus and it is not flexible is not right.; int4 & int5 -> int6: the vine is flexible.; int3 & int6 -> hypothesis;
the fact that the vine is flexible thing that is tubercular is not true.
sent8 -> int7: the fact that the vine is flexible thing that is tubercular is wrong if it is not a kind of an oxytocin.; sent12 -> int8: the sandwichman is a bank or does varnish Podocarpus or both if it does not quell.; sent9 -> int9: if the sandwichman is a Furnivall and/or it does not quell it does not quell.; sent5 -> int10: if the flower refutes kindliness then that it does not rick or it is a cookware or both is false.; sent16 & sent11 -> int11: the flower is shut.; sent19 & int11 -> int12: the flower does refute kindliness.; int10 & int12 -> int13: that the flower does not rick and/or is a cookware does not hold.; int13 -> int14: there is something such that that it either does not rick or is a cookware or both does not hold.; int14 & sent18 -> int15: the angle does not quell.; int15 -> int16: there is something such that it does not quell.; int16 & sent7 -> int17: the sandwichman is a kind of a Furnivall and/or it does not quell.; int9 & int17 -> int18: the sandwichman does not quell.; int8 & int18 -> int19: the sandwichman either does bank or varnishes Podocarpus or both.; int19 & sent13 & sent15 -> int20: the essence is a smart.; int20 -> int21: there exists something such that it is a smart.;
$hypothesis$ = the vine is flexible and it is tubercular. ; $context$ = sent1: if there exists something such that it is flexible the tailor does ignore Eight. sent2: the fact that the vine does not varnish Podocarpus and is flexible is wrong. sent3: the fact that the vine does not varnish Podocarpus and is flexible is not right if there is something such that it does varnish Podocarpus. sent4: there is something such that it is terpsichorean. sent5: if something does refute kindliness then that either it does not rick or it is a kind of a cookware or both is not right. sent6: the fact that the vine does not varnish Podocarpus and is not flexible is incorrect if there is something such that it does varnish Podocarpus. sent7: if there exists something such that it does not quell then the sandwichman either is a kind of a Furnivall or does not quell or both. sent8: if something is not an oxytocin the fact that it is flexible and it is tubercular is not true. sent9: something that is a kind of a Furnivall or does not quell or both does not quell. sent10: there exists something such that it does varnish Podocarpus. sent11: that either the styrax is not antisatellite or it cants or both does not hold. sent12: if something does not quell then it does bank or it varnishes Podocarpus or both. sent13: the essence is a smart if the sandwichman is a bank. sent14: something is tubercular if it is smart. sent15: the essence is a smart if the sandwichman does varnish Podocarpus. sent16: the fact that the flower is shut is true if that the styrax is not antisatellite and/or it does cant is not right. sent17: there is something such that it is an oxytocin. sent18: the angle does not quell if there exists something such that the fact that it does not rick or is a cookware or both is wrong. sent19: the flower does refute kindliness if it is shut. sent20: if the fact that something does not varnish Podocarpus and it is not flexible is false it is flexible. sent21: the vine is hydrometric. sent22: the vine is a smart if there is something such that it is an oxytocin. ; $proof$ = 
sent17 & sent22 -> int1: that the vine is a smart is not incorrect.; sent14 -> int2: the vine is tubercular if it is a smart.; int1 & int2 -> int3: the vine is tubercular.; sent20 -> int4: if the fact that the vine does not varnish Podocarpus and it is not flexible is not right then it is flexible.; sent10 & sent6 -> int5: that the vine does not varnish Podocarpus and it is not flexible is not right.; int4 & int5 -> int6: the vine is flexible.; int3 & int6 -> hypothesis; __PROVED__