translation.en: $answer$ ; $proof$ ; $question$ = The lion likes the squirrel. ; $context$ = sent1: The dog chases the lion. sent2: The dog likes the lion. sent3: The lion chases the dog. sent4: The lion eats the dog. sent5: The lion eats the tiger. sent6: The lion likes the tiger. sent7: The squirrel chases the tiger. sent8: The squirrel eats the dog. sent9: The squirrel is red. sent10: The squirrel likes the dog. sent11: The tiger eats the lion. sent12: If something eats the dog and it is green then the dog chases the squirrel. sent13: Big things are green. sent14: If something likes the tiger and the tiger is nice then it is green. sent15: If the squirrel likes the tiger then the tiger is rough. sent16: If something likes the tiger then it is big. sent17: If something likes the squirrel then it is big. sent18: If something is green then it likes the squirrel. sent19: If something is green and it chases the dog then the dog likes the tiger. sent20: If something likes the tiger and the tiger eats the squirrel then the squirrel chases the dog.
translation.ro: $answer$ = True ; $proof$ = # sent18%int1 # sent13%int2 # sent16%int3 sent6 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.