the brainworker is horticultural.
sent1: if that something is neoclassicist but it does not recline putterer is false then it is not a neoclassicist. sent2: that something does recline latchkey and it is nominalistic is wrong if it is not neoclassicist. sent3: the tumbrel is a kind of a isotropy if something that does not ensconce assertiveness is antennal. sent4: if something does not recline chalcanthite and it does not recline fastener then it does not wedge. sent5: the fact that the greenwood does not backstroke and/or it is a kind of a Haydn is not right if there exists something such that it is horticultural. sent6: if something backstrokes it is horticultural. sent7: the minion is horticultural if there exists something such that the fact that it does recline latchkey and it is nominalistic is not true. sent8: if the tumbrel is a isotropy then it does not recline chalcanthite and does not recline fastener. sent9: if the tumbrel is not a wedge then the fact that the pome is a neoclassicist but it does not recline putterer does not hold. sent10: something is a backstroke but not nominalistic if it reclines latchkey. sent11: if the brainworker is a Haydn and is a Tagalog it backstrokes. sent12: something that is not a Haydn and is a Tagalog is a backstroke. sent13: if the fact that something does recline chalcanthite and/or it does not recline putterer is not true that it wedges is correct. sent14: if the fact that the minion does not recline fastener hold the fact that it either does recline chalcanthite or does not recline putterer or both is wrong. sent15: the fact that the brainworker is not a kind of a Haydn is not incorrect. sent16: the fizz is a Tagalog. sent17: the brainworker is not a Haydn but it is a Tagalog if it is not nominalistic. sent18: if that the greenwood is not a backstroke and/or it is a Haydn is incorrect the halide is not a Haydn. sent19: that the greenwood does not recline latchkey but it is a kind of a neoclassicist is not right if the minion does wedge. sent20: the greenwood does recline latchkey if that it does not recline latchkey and it is a neoclassicist is not correct. sent21: the non-resistant does not ensconce assertiveness but it is antennal.
sent12 -> int1: the brainworker is a backstroke if it is not a kind of a Haydn and it is a Tagalog.; sent6 -> int2: the brainworker is horticultural if it is a kind of a backstroke.;
the halide is not a kind of a Haydn.
sent2 -> int3: the fact that the pome does recline latchkey and it is nominalistic is wrong if it is not a kind of a neoclassicist.; sent1 -> int4: the pome is not a kind of a neoclassicist if the fact that it is a kind of a neoclassicist and does not recline putterer is not true.; sent4 -> int5: if the tumbrel does not recline chalcanthite and it does not recline fastener then it does not wedge.; sent21 -> int6: something does not ensconce assertiveness and is antennal.; int6 & sent3 -> int7: the tumbrel is a kind of a isotropy.; sent8 & int7 -> int8: the tumbrel does not recline chalcanthite and does not recline fastener.; int5 & int8 -> int9: the tumbrel is not a wedge.; sent9 & int9 -> int10: that the pome is a neoclassicist and does not recline putterer does not hold.; int4 & int10 -> int11: the fact that the pome is non-neoclassicist is right.; int3 & int11 -> int12: that the pome does recline latchkey and it is nominalistic does not hold.; int12 -> int13: there exists something such that the fact that it does recline latchkey and it is nominalistic is incorrect.; int13 & sent7 -> int14: the minion is horticultural.; int14 -> int15: there exists something such that it is horticultural.; int15 & sent5 -> int16: the fact that the greenwood is not a backstroke or it is a Haydn or both does not hold.; sent18 & int16 -> hypothesis;
$hypothesis$ = the brainworker is horticultural. ; $context$ = sent1: if that something is neoclassicist but it does not recline putterer is false then it is not a neoclassicist. sent2: that something does recline latchkey and it is nominalistic is wrong if it is not neoclassicist. sent3: the tumbrel is a kind of a isotropy if something that does not ensconce assertiveness is antennal. sent4: if something does not recline chalcanthite and it does not recline fastener then it does not wedge. sent5: the fact that the greenwood does not backstroke and/or it is a kind of a Haydn is not right if there exists something such that it is horticultural. sent6: if something backstrokes it is horticultural. sent7: the minion is horticultural if there exists something such that the fact that it does recline latchkey and it is nominalistic is not true. sent8: if the tumbrel is a isotropy then it does not recline chalcanthite and does not recline fastener. sent9: if the tumbrel is not a wedge then the fact that the pome is a neoclassicist but it does not recline putterer does not hold. sent10: something is a backstroke but not nominalistic if it reclines latchkey. sent11: if the brainworker is a Haydn and is a Tagalog it backstrokes. sent12: something that is not a Haydn and is a Tagalog is a backstroke. sent13: if the fact that something does recline chalcanthite and/or it does not recline putterer is not true that it wedges is correct. sent14: if the fact that the minion does not recline fastener hold the fact that it either does recline chalcanthite or does not recline putterer or both is wrong. sent15: the fact that the brainworker is not a kind of a Haydn is not incorrect. sent16: the fizz is a Tagalog. sent17: the brainworker is not a Haydn but it is a Tagalog if it is not nominalistic. sent18: if that the greenwood is not a backstroke and/or it is a Haydn is incorrect the halide is not a Haydn. sent19: that the greenwood does not recline latchkey but it is a kind of a neoclassicist is not right if the minion does wedge. sent20: the greenwood does recline latchkey if that it does not recline latchkey and it is a neoclassicist is not correct. sent21: the non-resistant does not ensconce assertiveness but it is antennal. ; $proof$ = 
sent12 -> int1: the brainworker is a backstroke if it is not a kind of a Haydn and it is a Tagalog.; sent6 -> int2: the brainworker is horticultural if it is a kind of a backstroke.; __UNKNOWN__