translation.en: $answer$ ; $proof$ ; $question$ = The tiger does not chase the dog. ; $context$ = sent1: The dog chases the squirrel. sent2: The dog likes the tiger. sent3: The lion chases the squirrel. sent4: The lion is big. sent5: The lion is red. sent6: The lion likes the tiger. sent7: The lion visits the squirrel. sent8: The lion visits the tiger. sent9: The squirrel chases the lion. sent10: The squirrel is nice. sent11: The squirrel likes the lion. sent12: The tiger chases the dog. sent13: The tiger is kind. sent14: The tiger is red. sent15: The tiger likes the dog. sent16: The tiger likes the lion. sent17: If something chases the lion then the lion is blue. sent18: If something is kind then it chases the tiger. sent19: If something chases the tiger then it visits the dog. sent20: If something visits the lion then it likes the squirrel. sent21: If something is red and it chases the tiger then it likes the squirrel. sent22: If something chases the tiger and it visits the squirrel then the squirrel visits the tiger. sent23: If something visits the dog then the dog likes the lion. sent24: If something is kind and it visits the dog then the dog is kind.
translation.ro: $answer$ = False ; $proof$ = sent12