translation.en: $answer$ ; $proof$ ; $question$ = The bald eagle is not green. ; $context$ = sent1: The bald eagle chases the bear. sent2: The bald eagle is blue. sent3: The bald eagle is nice. sent4: The bald eagle sees the bear. sent5: The bald eagle sees the cat. sent6: The bear is green. sent7: The cat is red. sent8: The cat sees the bald eagle. sent9: The cat sees the bear. sent10: The tiger is blue. sent11: If something sees the tiger and the tiger is cold then it is green. sent12: If something is green and it needs the bear then the bear is nice. sent13: If something chases the tiger then the tiger is cold. sent14: If something needs the bald eagle then it chases the tiger. sent15: If the cat is red and the cat is blue then the cat chases the bald eagle. sent16: If something is green then it needs the bald eagle. sent17: If something needs the bear and it chases the cat then the bear is blue. sent18: If something chases the bear then it sees the tiger.
translation.ro: $answer$ = False ; $proof$ = # sent11%int1 & # sent18%int5 sent1 # sent13%int2 # sent14%int3 # sent16%int4 sent6 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.