translation.en: $answer$ ; $proof$ ; $question$ = The cat visits the cow. ; $context$ = sent1: The bear eats the cat. sent2: The bear eats the cow. sent3: The bear needs the cat. sent4: The bear needs the tiger. sent5: The cat is green. sent6: The cat is rough. sent7: The cat needs the tiger. sent8: The cow eats the cat. sent9: The cow visits the cat. sent10: The cow visits the tiger. sent11: The tiger eats the cow. sent12: The tiger needs the cow. sent13: If the tiger is round and the tiger needs the cat then the tiger is nice. sent14: If someone eats the cat and the cat is blue then the cat is nice. sent15: If someone is round and they eat the bear then they eat the tiger. sent16: If someone is green and not round then they visit the cow. sent17: If someone needs the tiger and they need the cow then the tiger needs the bear. sent18: If the cat visits the cow then the cat is blue. sent19: If someone is nice then they need the cow.
translation.ro: $answer$ = True ; $proof$ = # sent16%int1 naf1 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.