translation.en: $answer$ ; $proof$ ; $question$ = The tiger does not chase the squirrel. ; $context$ = sent1: The bald eagle chases the tiger. sent2: The lion likes the squirrel. sent3: The squirrel needs the bald eagle. sent4: The tiger is blue. sent5: The tiger likes the lion. sent6: The tiger likes the squirrel. sent7: The tiger needs the lion. sent8: If someone likes the tiger then the tiger chases the squirrel. sent9: If someone chases the bald eagle then they are nice. sent10: If someone needs the squirrel and they are cold then they need the bald eagle. sent11: If someone chases the lion then the lion is nice. sent12: If someone needs the squirrel then the squirrel likes the tiger. sent13: If someone is cold then they are kind. sent14: If the lion is cold then the lion needs the tiger. sent15: If someone is nice then they need the squirrel. sent16: If someone is blue then they chase the lion.
translation.ro: $answer$ = False ; $proof$ = # sent8%int1 # sent12%int2 # sent15%int3 # sent11%int4 # sent16%int5 sent4 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.