translation.en: $answer$ ; $proof$ ; $question$ = The cat does not chase the cow. ; $context$ = sent1: The cat likes the cow. sent2: The cow is cold. sent3: The lion chases the tiger. sent4: The lion likes the cat. sent5: The lion needs the cow. sent6: The lion needs the tiger. sent7: The tiger likes the cow. sent8: If something likes the tiger then the tiger is cold. sent9: If something chases the lion and it needs the lion then it is green. sent10: If the cow chases the lion and the cow chases the cat then the lion needs the cow. sent11: If the tiger chases the cow then the tiger likes the cat. sent12: If something needs the lion then the lion needs the tiger. sent13: If something chases the cow then the cow likes the tiger. sent14: If something chases the cat then the cat chases the cow. sent15: If something is cold then it chases the cat. sent16: If something is cold and it chases the cat then it chases the cow.
translation.ro: $answer$ = False ; $proof$ = # sent14%int1 # sent15%int2 sent2 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.