translation.en: $answer$ ; $proof$ ; $question$ = The bald eagle is big. ; $context$ = sent1: The bald eagle is nice. sent2: The bald eagle is round. sent3: The bald eagle likes the lion. sent4: The bald eagle visits the dog. sent5: The cat is green. sent6: The cat is nice. sent7: The cat is round. sent8: The cat likes the bald eagle. sent9: The cat likes the dog. sent10: The cat visits the dog. sent11: The dog eats the cat. sent12: The dog is big. sent13: The dog is blue. sent14: The lion is blue. sent15: If something is nice and green then it visits the bald eagle. sent16: If something is big then it eats the lion. sent17: If the bald eagle visits the lion then the lion is nice. sent18: If the bald eagle likes the cat then the bald eagle visits the dog. sent19: Round things are big. sent20: If something eats the cat and the cat eats the dog then the cat eats the lion. sent21: If something visits the dog and it eats the lion then the lion is round.
translation.ro: $answer$ = True ; $proof$ = # sent19%int1 sent2 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.