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