translation.en: $answer$ ; $proof$ ; $question$ = The cow does not chase the rabbit. ; $context$ = sent1: The bear chases the cow. sent2: The bear eats the cow. sent3: The bear is young. sent4: The cow is red. sent5: The cow is round. sent6: The cow visits the squirrel. sent7: The rabbit is round. sent8: The rabbit visits the bear. sent9: The squirrel eats the cow. sent10: The squirrel visits the rabbit. sent11: If someone visits the squirrel and the squirrel chases the cow then the cow is round. sent12: If someone is big and red then they chase the rabbit. sent13: If someone visits the rabbit then the rabbit visits the bear. sent14: If the squirrel chases the cow and the cow is round then the cow is young. sent15: If someone chases the squirrel then the squirrel eats the rabbit. sent16: If someone eats the cow and the cow eats the rabbit then the cow chases the rabbit. sent17: If someone chases the rabbit then the rabbit is red. sent18: All red people are big. sent19: If someone eats the bear then they chase the cow.
translation.ro: $answer$ = False ; $proof$ = # sent12%int1 & # sent18%int2 sent4 sent4 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.