translation.en: $answer$ ; $proof$ ; $question$ = The lion is not green. ; $context$ = sent1: The bald eagle chases the squirrel. sent2: The bald eagle is blue. sent3: The bald eagle likes the cow. sent4: The bald eagle likes the lion. sent5: The cow chases the lion. sent6: The cow is green. sent7: The cow likes the bald eagle. sent8: The cow likes the lion. sent9: The lion likes the cow. sent10: The squirrel chases the bald eagle. sent11: The squirrel is big. sent12: The squirrel is green. sent13: The squirrel is red. sent14: The squirrel sees the bald eagle. sent15: If someone is red and they chase the bald eagle then the bald eagle is green. sent16: If someone likes the bald eagle then they like the lion. sent17: If someone is green then they see the lion. sent18: If the cow is blue then the cow likes the squirrel. sent19: If the bald eagle sees the lion then the lion sees the squirrel. sent20: If someone sees the squirrel then they are green. sent21: If someone likes the bald eagle then the bald eagle is blue.
translation.ro: $answer$ = False ; $proof$ = # sent20%int1 # sent19%int2 # sent17%int3 # sent15%int4 sent10 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.