that the sorus does not interpret ransom and does dun Neohygrophorus is false.
sent1: something is a CCRC. sent2: the fact that the Nevadan does interpret arioso and eludes is not right if there is something such that it is a CCRC. sent3: the brochette is not a Lygodium and is a furnace if the celecoxib is not a kind of a lipstick. sent4: if there exists something such that the fact that it does not interpret trample or it is not a kind of a CT or both is not true then the celecoxib is a kind of a furnace. sent5: either something does not interpret trample or it is not a CT or both. sent6: if the tricolor is a CT the fact that the Nevadan does interpret trample and is not a pointed is not true. sent7: the fact that the tricolor does not fluctuate is right if that the Nevadan does interpret arioso and does elude is not true. sent8: something does not interpret ransom but it duns Neohygrophorus if it is a CCRC. sent9: the sorus fluctuates if that the Nevadan does interpret trample and does not point is false. sent10: if the brochette does point the fact that it is not a CT does not hold. sent11: that something is a furnace is not wrong. sent12: the celecoxib is a furnace if there is something such that that it does not interpret trample or is a CT or both does not hold. sent13: the celecoxib is not a lipstick if the cringle is acarpelous and is a lipstick. sent14: the fact that the sorus interprets ransom and it does dun Neohygrophorus does not hold. sent15: if something does point then that either it does not interpret trample or it is not a CT or both is not true. sent16: the tricolor is a CT if the brochette is not a kind of a Lygodium and is a furnace. sent17: something is a kind of a CT if the fact that it is a kind of a pointed is true. sent18: the brochette points if there exists something such that it does not fluctuate. sent19: the fact that something is a CCRC if that it does not elude and/or it interprets arioso is not correct is not wrong. sent20: the brochette is a CT.
sent1 & sent2 -> int1: the fact that the Nevadan does interpret arioso and it does elude is wrong.; int1 & sent7 -> int2: the tricolor does not fluctuate.; int2 -> int3: there exists something such that it does not fluctuate.; int3 & sent18 -> int4: the brochette does point.; sent15 -> int5: if the brochette does point then the fact that it does not interpret trample or it is not a CT or both does not hold.; int4 & int5 -> int6: the fact that the brochette does not interpret trample and/or it is not a CT is not right.; int6 -> int7: there exists something such that that either it does not interpret trample or it is not a CT or both does not hold.; int7 & sent4 -> int8: the celecoxib is a kind of a furnace.;
the sorus does not interpret ransom but it does dun Neohygrophorus.
sent8 -> int9: if the sorus is a CCRC then it does not interpret ransom and it duns Neohygrophorus.; sent19 -> int10: if the fact that the fact that the sorus does not elude and/or it does interpret arioso hold is false it is a kind of a CCRC.;
$hypothesis$ = that the sorus does not interpret ransom and does dun Neohygrophorus is false. ; $context$ = sent1: something is a CCRC. sent2: the fact that the Nevadan does interpret arioso and eludes is not right if there is something such that it is a CCRC. sent3: the brochette is not a Lygodium and is a furnace if the celecoxib is not a kind of a lipstick. sent4: if there exists something such that the fact that it does not interpret trample or it is not a kind of a CT or both is not true then the celecoxib is a kind of a furnace. sent5: either something does not interpret trample or it is not a CT or both. sent6: if the tricolor is a CT the fact that the Nevadan does interpret trample and is not a pointed is not true. sent7: the fact that the tricolor does not fluctuate is right if that the Nevadan does interpret arioso and does elude is not true. sent8: something does not interpret ransom but it duns Neohygrophorus if it is a CCRC. sent9: the sorus fluctuates if that the Nevadan does interpret trample and does not point is false. sent10: if the brochette does point the fact that it is not a CT does not hold. sent11: that something is a furnace is not wrong. sent12: the celecoxib is a furnace if there is something such that that it does not interpret trample or is a CT or both does not hold. sent13: the celecoxib is not a lipstick if the cringle is acarpelous and is a lipstick. sent14: the fact that the sorus interprets ransom and it does dun Neohygrophorus does not hold. sent15: if something does point then that either it does not interpret trample or it is not a CT or both is not true. sent16: the tricolor is a CT if the brochette is not a kind of a Lygodium and is a furnace. sent17: something is a kind of a CT if the fact that it is a kind of a pointed is true. sent18: the brochette points if there exists something such that it does not fluctuate. sent19: the fact that something is a CCRC if that it does not elude and/or it interprets arioso is not correct is not wrong. sent20: the brochette is a CT. ; $proof$ = 
sent1 & sent2 -> int1: the fact that the Nevadan does interpret arioso and it does elude is wrong.; int1 & sent7 -> int2: the tricolor does not fluctuate.; int2 -> int3: there exists something such that it does not fluctuate.; int3 & sent18 -> int4: the brochette does point.; sent15 -> int5: if the brochette does point then the fact that it does not interpret trample or it is not a CT or both does not hold.; int4 & int5 -> int6: the fact that the brochette does not interpret trample and/or it is not a CT is not right.; int6 -> int7: there exists something such that that either it does not interpret trample or it is not a CT or both does not hold.; int7 & sent4 -> int8: the celecoxib is a kind of a furnace.; __UNKNOWN__