translation.en: $answer$ ; $proof$ ; $question$ = The bear does not like the squirrel. ; $context$ = sent1: The bald eagle likes the bear. sent2: The bald eagle visits the tiger. sent3: The bear is kind. sent4: The bear likes the tiger. sent5: The bear visits the tiger. sent6: The squirrel chases the bear. sent7: The squirrel is kind. sent8: The squirrel is rough. sent9: The squirrel visits the bald eagle. sent10: The tiger chases the bear. sent11: The tiger chases the squirrel. sent12: The tiger is nice. sent13: The tiger likes the bear. sent14: The tiger likes the squirrel. sent15: If the bald eagle visits the squirrel then the bald eagle likes the bear. sent16: If something chases the squirrel then the squirrel likes the bald eagle. sent17: If something is rough and it likes the bear then the bear likes the squirrel. sent18: If the squirrel is nice then the squirrel visits the tiger. sent19: If something likes the tiger and it likes the squirrel then the tiger likes the bald eagle. sent20: If something is red then it chases the squirrel. sent21: If something likes the bald eagle then it chases the tiger. sent22: If something likes the squirrel and the squirrel chases the bear then the squirrel is red. sent23: If something chases the tiger then it likes the bear.
translation.ro: $answer$ = False ; $proof$ = # sent17%int1 & sent8 # sent23%int2 # sent21%int3 # sent16%int4 sent11 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.