the liberator is not coloring.
sent1: the labdanum is catechetical. sent2: the emigrant is not vulnerable if the fact that the conifer is not puncturable is right. sent3: the cusk-eel is not a costing. sent4: the jotter does not cost if that the labdanum is not a kind of a cost and it is not a kind of a minesweeper is wrong. sent5: if something is aroid then the fact that the emigrant does confront and it batches digoxin hold. sent6: if the conifer is not endoparasitic then the fact that the jotter does not confront and does batch digoxin is not right. sent7: the conifer is a minesweeper. sent8: if the labdanum is catechetical the fact that it is not a costing and it is not a minesweeper is incorrect. sent9: that the labdanum is not a feeblemindedness and/or it is a kind of a costing does not hold if the jotter is not aroid. sent10: the conifer is a feeblemindedness and is aroid if the jotter is not a costing. sent11: if that something does not confront but it does batch digoxin does not hold it is not aroid. sent12: the emigrant is not puncturable. sent13: if something does confront then the fact that it is endoparasitic thing that is not puncturable does not hold. sent14: the emigrant is a kind of a costing. sent15: if something does not batch digoxin it is not aroid. sent16: that the jotter is non-leonine thing that is vulnerable does not hold if the conifer does not confront. sent17: if the fact that something is leonine and vulnerable does not hold it is not endoparasitic. sent18: if the fact that the labdanum is not a kind of a feeblemindedness and/or it costs is false the liberator is a minesweeper. sent19: that something is a kind of a coloring is correct if it is a minesweeper. sent20: that the conifer is both leonine and vulnerable does not hold if the emigrant is not puncturable.
sent20 & sent12 -> int1: the fact that the conifer is not non-leonine and is vulnerable does not hold.; sent17 -> int2: if the fact that the conifer is leonine and it is vulnerable is wrong it is not endoparasitic.; int1 & int2 -> int3: the conifer is not endoparasitic.; int3 & sent6 -> int4: the fact that the jotter does not confront but it does batch digoxin is false.; sent11 -> int5: the jotter is not aroid if the fact that it does not confront and it does batch digoxin is not right.; int4 & int5 -> int6: the jotter is non-aroid.; int6 & sent9 -> int7: the fact that the labdanum is not a feeblemindedness and/or costs is not right.; int7 & sent18 -> int8: the liberator is a kind of a minesweeper.; sent19 -> int9: if the liberator is a minesweeper then it is a coloring.; int8 & int9 -> hypothesis;
the liberator is not a kind of a coloring.
sent13 -> int10: that the emigrant is both endoparasitic and not puncturable does not hold if it does confront.; sent8 & sent1 -> int11: that the labdanum is not a kind of a costing and it is not a minesweeper is not correct.; sent4 & int11 -> int12: the jotter is not a costing.; sent10 & int12 -> int13: the conifer is a feeblemindedness and is aroid.; int13 -> int14: the conifer is aroid.; int14 -> int15: there is something such that it is aroid.; int15 & sent5 -> int16: the emigrant does confront and batches digoxin.; int16 -> int17: the fact that the emigrant does confront hold.; int10 & int17 -> int18: that the emigrant is endoparasitic but it is not puncturable is false.; int18 -> int19: there exists something such that that it is both endoparasitic and not puncturable is incorrect.;
$hypothesis$ = the liberator is not coloring. ; $context$ = sent1: the labdanum is catechetical. sent2: the emigrant is not vulnerable if the fact that the conifer is not puncturable is right. sent3: the cusk-eel is not a costing. sent4: the jotter does not cost if that the labdanum is not a kind of a cost and it is not a kind of a minesweeper is wrong. sent5: if something is aroid then the fact that the emigrant does confront and it batches digoxin hold. sent6: if the conifer is not endoparasitic then the fact that the jotter does not confront and does batch digoxin is not right. sent7: the conifer is a minesweeper. sent8: if the labdanum is catechetical the fact that it is not a costing and it is not a minesweeper is incorrect. sent9: that the labdanum is not a feeblemindedness and/or it is a kind of a costing does not hold if the jotter is not aroid. sent10: the conifer is a feeblemindedness and is aroid if the jotter is not a costing. sent11: if that something does not confront but it does batch digoxin does not hold it is not aroid. sent12: the emigrant is not puncturable. sent13: if something does confront then the fact that it is endoparasitic thing that is not puncturable does not hold. sent14: the emigrant is a kind of a costing. sent15: if something does not batch digoxin it is not aroid. sent16: that the jotter is non-leonine thing that is vulnerable does not hold if the conifer does not confront. sent17: if the fact that something is leonine and vulnerable does not hold it is not endoparasitic. sent18: if the fact that the labdanum is not a kind of a feeblemindedness and/or it costs is false the liberator is a minesweeper. sent19: that something is a kind of a coloring is correct if it is a minesweeper. sent20: that the conifer is both leonine and vulnerable does not hold if the emigrant is not puncturable. ; $proof$ = 
sent20 & sent12 -> int1: the fact that the conifer is not non-leonine and is vulnerable does not hold.; sent17 -> int2: if the fact that the conifer is leonine and it is vulnerable is wrong it is not endoparasitic.; int1 & int2 -> int3: the conifer is not endoparasitic.; int3 & sent6 -> int4: the fact that the jotter does not confront but it does batch digoxin is false.; sent11 -> int5: the jotter is not aroid if the fact that it does not confront and it does batch digoxin is not right.; int4 & int5 -> int6: the jotter is non-aroid.; int6 & sent9 -> int7: the fact that the labdanum is not a feeblemindedness and/or costs is not right.; int7 & sent18 -> int8: the liberator is a kind of a minesweeper.; sent19 -> int9: if the liberator is a minesweeper then it is a coloring.; int8 & int9 -> hypothesis; __DISPROVED__