translation.en: $answer$ ; $proof$ ; $question$ = The tiger eats the cat. ; $context$ = sent1: The bald eagle eats the dog. sent2: The bald eagle is blue. sent3: The bald eagle is cold. sent4: The bald eagle likes the cat. sent5: The bald eagle visits the tiger. sent6: The cat eats the dog. sent7: The cat is blue. sent8: The cat visits the dog. sent9: The dog eats the bald eagle. sent10: The dog likes the cat. sent11: The dog visits the bald eagle. sent12: The dog visits the tiger. sent13: The tiger is green. sent14: The tiger is kind. sent15: If the bald eagle is not green then the bald eagle visits the tiger. sent16: If someone eats the dog then they eat the cat. sent17: If someone visits the dog and they like the bald eagle then the bald eagle eats the tiger. sent18: If the bald eagle eats the dog and the dog is not big then the dog is green. sent19: If the bald eagle eats the cat and the tiger does not eat the bald eagle then the tiger eats the cat. sent20: If someone eats the dog and they eat the tiger then the tiger visits the bald eagle. sent21: If the dog eats the cat and the dog visits the bald eagle then the cat is kind. sent22: If someone is green and they eat the cat then the cat likes the bald eagle. sent23: If the dog is not big and the dog does not visit the cat then the dog is cold.
translation.ro: $answer$ = True ; $proof$ = # sent19%int1 & # sent16%int2 sent1 naf1 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.