translation.en: $answer$ ; $proof$ ; $question$ = The lion does not eat the lion. ; $context$ = sent1: The bald eagle needs the dog. sent2: The bald eagle visits the cow. sent3: The cow is blue. sent4: The cow is young. sent5: The cow needs the bald eagle. sent6: The cow needs the lion. sent7: The cow visits the bald eagle. sent8: The cow visits the dog. sent9: The cow visits the lion. sent10: The dog eats the lion. sent11: The dog is cold. sent12: The lion needs the cow. sent13: The lion visits the bald eagle. sent14: The lion visits the dog. sent15: If someone eats the dog and they need the dog then the dog eats the lion. sent16: If someone visits the cow then they visit the bald eagle. sent17: If someone is blue then they need the lion. sent18: If someone is cold then they eat the bald eagle. sent19: If someone needs the dog then the dog visits the bald eagle. sent20: If someone is blue and not big then they are cold. sent21: If someone visits the bald eagle then they eat the lion. sent22: If someone eats the lion and the lion visits the bald eagle then they are blue.
translation.ro: $answer$ = False ; $proof$ = # sent21%int1 sent13 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.