the tarn is not ritualistic.
sent1: there is nothing such that it is not healthy and does not thrill Yankee. sent2: the fluoroform is not moneyless and/or is reactive. sent3: something is a Lama. sent4: the roots contorts facula and is a bagatelle. sent5: if there exists something such that it does thrill Yankee then the Latvian is moneyless or not reactive or both. sent6: there exists something such that it does contort facula. sent7: the tarn is ritualistic if the fluoroform is a kind of a Lama. sent8: the tarn is a veery. sent9: the tarn is healthy. sent10: the fluoroform is a Lama if the fact that the Latvian is a Lama is correct. sent11: the fluoroform is either not moneyless or unreactive or both if there exists something such that it is a kind of a Lama. sent12: if the Latvian does thrill Yankee then the roots is healthy. sent13: the Latvian does thrill Yankee if the fluoroform is not moneyless or it is not reactive or both. sent14: if that the roots does contort facula and is healthy hold the tarn is non-ritualistic. sent15: if the roots is not reactive or is not healthy or both then the fluoroform does thrill Yankee. sent16: the roots is a bagatelle. sent17: the fluoroform is not moneyless or it is reactive or both if there exists something such that it is a kind of a Lama.
sent3 & sent11 -> int1: either the fluoroform is not moneyless or it is not reactive or both.; int1 & sent13 -> int2: the Latvian does thrill Yankee.; int2 & sent12 -> int3: the roots is healthy.; sent4 -> int4: the roots does contort facula.; int3 & int4 -> int5: the roots contorts facula and is healthy.; int5 & sent14 -> hypothesis;
the tarn is ritualistic.
sent1 -> int6: that the ha-ha is not healthy and it does not thrill Yankee does not hold.; int6 -> int7: there exists something such that the fact that it is not healthy and does not thrill Yankee is wrong.;
$hypothesis$ = the tarn is not ritualistic. ; $context$ = sent1: there is nothing such that it is not healthy and does not thrill Yankee. sent2: the fluoroform is not moneyless and/or is reactive. sent3: something is a Lama. sent4: the roots contorts facula and is a bagatelle. sent5: if there exists something such that it does thrill Yankee then the Latvian is moneyless or not reactive or both. sent6: there exists something such that it does contort facula. sent7: the tarn is ritualistic if the fluoroform is a kind of a Lama. sent8: the tarn is a veery. sent9: the tarn is healthy. sent10: the fluoroform is a Lama if the fact that the Latvian is a Lama is correct. sent11: the fluoroform is either not moneyless or unreactive or both if there exists something such that it is a kind of a Lama. sent12: if the Latvian does thrill Yankee then the roots is healthy. sent13: the Latvian does thrill Yankee if the fluoroform is not moneyless or it is not reactive or both. sent14: if that the roots does contort facula and is healthy hold the tarn is non-ritualistic. sent15: if the roots is not reactive or is not healthy or both then the fluoroform does thrill Yankee. sent16: the roots is a bagatelle. sent17: the fluoroform is not moneyless or it is reactive or both if there exists something such that it is a kind of a Lama. ; $proof$ = 
sent3 & sent11 -> int1: either the fluoroform is not moneyless or it is not reactive or both.; int1 & sent13 -> int2: the Latvian does thrill Yankee.; int2 & sent12 -> int3: the roots is healthy.; sent4 -> int4: the roots does contort facula.; int3 & int4 -> int5: the roots contorts facula and is healthy.; int5 & sent14 -> hypothesis; __PROVED__