something does theme Cartesian and it is a Vanbrugh.
sent1: if that something does trivialize stoker and/or is a sponge is incorrect it is not functional. sent2: the poster does not disjoin. sent3: something does theme Icelander if the fact that it is a hornwort and it is not functional is false. sent4: the krigia is both a Vanbrugh and Apocryphal if it is not echoic. sent5: that the krigia is not echoic hold if the envelope is echoic or it is a great-aunt or both. sent6: the fact that the poster trivializes stoker and/or it sponges is incorrect if that it does not disjoin is true. sent7: if the pyroelectricity does theme Icelander the fact that the krigia themes Cartesian hold. sent8: the envelope is echoic or is a great-aunt or both. sent9: if the poster is not functional then the fact that the pyroelectricity is a hornwort but it is not functional does not hold.
sent1 -> int1: the poster is not functional if the fact that either it trivializes stoker or it is a sponge or both does not hold.; sent6 & sent2 -> int2: that the poster trivializes stoker and/or is a kind of a sponge is not correct.; int1 & int2 -> int3: that the poster is not functional hold.; int3 & sent9 -> int4: that the pyroelectricity is a hornwort but it is nonfunctional is not correct.; sent3 -> int5: the pyroelectricity themes Icelander if that it is a hornwort that is not functional does not hold.; int4 & int5 -> int6: the pyroelectricity themes Icelander.; int6 & sent7 -> int7: the krigia themes Cartesian.; sent5 & sent8 -> int8: that the krigia is not echoic is correct.; sent4 & int8 -> int9: the krigia is a Vanbrugh and it is Apocryphal.; int9 -> int10: the fact that the krigia is a kind of a Vanbrugh is right.; int7 & int10 -> int11: the krigia does theme Cartesian and it is a Vanbrugh.; int11 -> hypothesis;
$hypothesis$ = something does theme Cartesian and it is a Vanbrugh. ; $context$ = sent1: if that something does trivialize stoker and/or is a sponge is incorrect it is not functional. sent2: the poster does not disjoin. sent3: something does theme Icelander if the fact that it is a hornwort and it is not functional is false. sent4: the krigia is both a Vanbrugh and Apocryphal if it is not echoic. sent5: that the krigia is not echoic hold if the envelope is echoic or it is a great-aunt or both. sent6: the fact that the poster trivializes stoker and/or it sponges is incorrect if that it does not disjoin is true. sent7: if the pyroelectricity does theme Icelander the fact that the krigia themes Cartesian hold. sent8: the envelope is echoic or is a great-aunt or both. sent9: if the poster is not functional then the fact that the pyroelectricity is a hornwort but it is not functional does not hold. ; $proof$ = 
sent1 -> int1: the poster is not functional if the fact that either it trivializes stoker or it is a sponge or both does not hold.; sent6 & sent2 -> int2: that the poster trivializes stoker and/or is a kind of a sponge is not correct.; int1 & int2 -> int3: that the poster is not functional hold.; int3 & sent9 -> int4: that the pyroelectricity is a hornwort but it is nonfunctional is not correct.; sent3 -> int5: the pyroelectricity themes Icelander if that it is a hornwort that is not functional does not hold.; int4 & int5 -> int6: the pyroelectricity themes Icelander.; int6 & sent7 -> int7: the krigia themes Cartesian.; sent5 & sent8 -> int8: that the krigia is not echoic is correct.; sent4 & int8 -> int9: the krigia is a Vanbrugh and it is Apocryphal.; int9 -> int10: the fact that the krigia is a kind of a Vanbrugh is right.; int7 & int10 -> int11: the krigia does theme Cartesian and it is a Vanbrugh.; int11 -> hypothesis; __PROVED__