the cubist is not tartaric.
sent1: the pile is not alchemic and it is not a kind of a dolichocephalic if that the midland is not a colonic is not incorrect. sent2: a non-defervescent thing is dolichocephalic. sent3: the cubist is colonic if the pile is a kind of non-alchemic thing that is a dolichocephalic. sent4: the fact that the anglophile is a kind of an eelgrass is right. sent5: the pile is a kind of a swarm if the anglophile is a kind of an eelgrass. sent6: if something is a kind of a colonic then it is not non-tartaric. sent7: the cubist chomps dancing-master. sent8: if something that nags eyewitness is a kind of a capillary then it is not a kind of an automaton. sent9: if something that is ergonomic is defervescent it is not colonic. sent10: that the pile is curly thing that is non-ergonomic is false. sent11: a modern thing that is a kind of a swarm is not defervescent. sent12: that the pile is modern is not incorrect if that it is not curly and is not ergonomic is wrong. sent13: if the pile is non-defervescent it is not non-dolichocephalic. sent14: if a non-alchemic thing is not a dolichocephalic the fact that it is defervescent is not incorrect. sent15: the fact that the pile is not curly and not ergonomic is not right. sent16: there exists something such that it is not ergonomic. sent17: the refugee is colonic. sent18: something is non-alchemic a dolichocephalic if it is not defervescent. sent19: the cubist is not tartaric if the anglophile is both an eelgrass and tartaric. sent20: the anglophile is a kind of non-defervescent thing that is orthographic. sent21: if something is curly it is defervescent. sent22: the cubist is alchemic if the pile is a colonic. sent23: the anglophile is not a swarm.
sent5 & sent4 -> int1: the pile is a swarm.; sent12 & sent15 -> int2: the pile is a kind of a modern.; int1 & int2 -> int3: the pile is modern and a swarm.; sent11 -> int4: that the pile is not defervescent is not wrong if it is a kind of a modern and it is a swarm.; int3 & int4 -> int5: the pile is not defervescent.; sent18 -> int6: the pile is both not alchemic and dolichocephalic if that it is not defervescent hold.; int5 & int6 -> int7: the pile is not alchemic but it is dolichocephalic.; int7 & sent3 -> int8: the cubist is a colonic.; sent6 -> int9: if the cubist is a kind of a colonic it is tartaric.; int8 & int9 -> hypothesis;
the cubist is not tartaric.
sent14 -> int10: the pile is defervescent if it is both not alchemic and not a dolichocephalic.;
$hypothesis$ = the cubist is not tartaric. ; $context$ = sent1: the pile is not alchemic and it is not a kind of a dolichocephalic if that the midland is not a colonic is not incorrect. sent2: a non-defervescent thing is dolichocephalic. sent3: the cubist is colonic if the pile is a kind of non-alchemic thing that is a dolichocephalic. sent4: the fact that the anglophile is a kind of an eelgrass is right. sent5: the pile is a kind of a swarm if the anglophile is a kind of an eelgrass. sent6: if something is a kind of a colonic then it is not non-tartaric. sent7: the cubist chomps dancing-master. sent8: if something that nags eyewitness is a kind of a capillary then it is not a kind of an automaton. sent9: if something that is ergonomic is defervescent it is not colonic. sent10: that the pile is curly thing that is non-ergonomic is false. sent11: a modern thing that is a kind of a swarm is not defervescent. sent12: that the pile is modern is not incorrect if that it is not curly and is not ergonomic is wrong. sent13: if the pile is non-defervescent it is not non-dolichocephalic. sent14: if a non-alchemic thing is not a dolichocephalic the fact that it is defervescent is not incorrect. sent15: the fact that the pile is not curly and not ergonomic is not right. sent16: there exists something such that it is not ergonomic. sent17: the refugee is colonic. sent18: something is non-alchemic a dolichocephalic if it is not defervescent. sent19: the cubist is not tartaric if the anglophile is both an eelgrass and tartaric. sent20: the anglophile is a kind of non-defervescent thing that is orthographic. sent21: if something is curly it is defervescent. sent22: the cubist is alchemic if the pile is a colonic. sent23: the anglophile is not a swarm. ; $proof$ = 
sent5 & sent4 -> int1: the pile is a swarm.; sent12 & sent15 -> int2: the pile is a kind of a modern.; int1 & int2 -> int3: the pile is modern and a swarm.; sent11 -> int4: that the pile is not defervescent is not wrong if it is a kind of a modern and it is a swarm.; int3 & int4 -> int5: the pile is not defervescent.; sent18 -> int6: the pile is both not alchemic and dolichocephalic if that it is not defervescent hold.; int5 & int6 -> int7: the pile is not alchemic but it is dolichocephalic.; int7 & sent3 -> int8: the cubist is a colonic.; sent6 -> int9: if the cubist is a kind of a colonic it is tartaric.; int8 & int9 -> hypothesis; __DISPROVED__