translation.en: $answer$ ; $proof$ ; $question$ = The cat is green. ; $context$ = sent1: The bald eagle is rough. sent2: The bear eats the dog. sent3: The bear is big. sent4: The bear needs the dog. sent5: The bear sees the cat. sent6: The bear sees the dog. sent7: The cat eats the dog. sent8: The dog is nice. sent9: The dog is rough. sent10: The dog needs the bear. sent11: The dog needs the cat. sent12: The dog sees the bald eagle. sent13: If something eats the bear then the bear eats the bald eagle. sent14: If something needs the cat then the cat eats the bald eagle. sent15: If something sees the cat and the cat is green then the cat eats the bear. sent16: If something eats the bear and it eats the dog then the bear is rough. sent17: If something eats the bald eagle then it is green.
translation.ro: $answer$ = True ; $proof$ = # sent17%int1 # sent14%int2 sent11 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.