translation.en: $answer$ ; $proof$ ; $question$ = The cow does not chase the cow. ; $context$ = sent1: The bear chases the cat. sent2: The bear chases the cow. sent3: The bear is big. sent4: The bear is kind. sent5: The bear is rough. sent6: The bear likes the cat. sent7: The bear needs the cat. sent8: The bear needs the tiger. sent9: The cat chases the cow. sent10: The cat is kind. sent11: The cat likes the bear. sent12: The cat likes the cow. sent13: The cat needs the bear. sent14: The cow likes the bear. sent15: The tiger likes the cow. sent16: The tiger needs the cat. sent17: If someone likes the cow and the cow likes the bear then the bear is round. sent18: If someone likes the tiger and they like the bear then the bear is young. sent19: If someone likes the bear and the bear is round then the bear likes the tiger. sent20: If the cat is young then the cat chases the cow. sent21: If someone chases the cow then they chase the cat. sent22: If the cat likes the cow then the cow chases the bear. sent23: If someone likes the cow and the cow chases the cat then they need the cow. sent24: If the cow chases the bear and the bear is round then the cow needs the bear. sent25: If someone needs the bear then they chase the cow.
translation.ro: $answer$ = False ; $proof$ = # sent25%int1 # sent24%int2 & sent12 # sent17%int3 sent14 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.