translation.en: $answer$ ; $proof$ ; $question$ = The bald eagle does not need the squirrel. ; $context$ = sent1: The bald eagle is green. sent2: The bald eagle likes the squirrel. sent3: The bald eagle likes the tiger. sent4: The bear is nice. sent5: The bear is round. sent6: The bear likes the bald eagle. sent7: The bear likes the tiger. sent8: The squirrel is young. sent9: The squirrel likes the bear. sent10: The squirrel needs the bald eagle. sent11: The squirrel sees the tiger. sent12: The tiger is cold. sent13: The tiger likes the bear. sent14: The tiger likes the squirrel. sent15: The tiger needs the bear. sent16: The tiger sees the bear. sent17: If something needs the bald eagle and the bald eagle likes the bear then the bald eagle needs the tiger. sent18: If something needs the squirrel then it needs the tiger. sent19: If something is green then it needs the squirrel. sent20: If something needs the bear and it needs the bald eagle then the bear likes the bald eagle. sent21: If something likes the bald eagle then it is young. sent22: If something likes the bear and it sees the bald eagle then it needs the bear. sent23: Round things are green. sent24: If something sees the squirrel and the squirrel likes the bear then it is cold. sent25: If something needs the bear and the bear is green then it is round.
translation.ro: $answer$ = False ; $proof$ = # sent19%int1 sent1 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.