translation.en: $answer$ ; $proof$ ; $question$ = The lion needs the cow. ; $context$ = sent1: The bald eagle is nice. sent2: The bald eagle needs the cow. sent3: The bald eagle needs the squirrel. sent4: The cow is blue. sent5: The cow likes the bald eagle. sent6: The cow sees the squirrel. sent7: The lion is kind. sent8: The lion is nice. sent9: The lion likes the bald eagle. sent10: The lion needs the squirrel. sent11: The lion sees the squirrel. sent12: The squirrel likes the lion. sent13: If something sees the lion then the lion likes the squirrel. sent14: If something is kind and it sees the bald eagle then it needs the cow. sent15: If something sees the squirrel and it sees the bald eagle then the bald eagle likes the cow. sent16: If something sees the lion and the lion likes the squirrel then the lion needs the squirrel. sent17: If something likes the squirrel and it needs the squirrel then the squirrel sees the cow. sent18: If something sees the cow then it sees the lion. sent19: If something needs the cow and it needs the squirrel then it likes the squirrel. sent20: If something sees the lion then the lion sees the bald eagle. sent21: If something sees the cow and it likes the cow then the cow sees the bald eagle.
translation.ro: $answer$ = True ; $proof$ = # sent14%int1 & sent2 # sent20%int2 # sent18%int3 # sent17%int4 & # sent19%int5 sent3 sent3 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.