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