translation.en: $answer$ ; $proof$ ; $question$ = The bear does not chase the cat. ; $context$ = sent1: The bear eats the cow. sent2: The cat chases the bear. sent3: The cat eats the bear. sent4: The cat eats the tiger. sent5: The cat is green. sent6: The cat is kind. sent7: The cat is rough. sent8: The cat sees the bear. sent9: The cat sees the tiger. sent10: The cow eats the bear. sent11: The cow eats the tiger. sent12: The cow is green. sent13: The cow sees the cat. sent14: The tiger chases the bear. sent15: The tiger chases the cat. sent16: The tiger chases the cow. sent17: If someone chases the bear and the bear is cold then they eat the cat. sent18: If someone chases the bear and the bear chases the tiger then the bear sees the tiger. sent19: If the cat chases the bear and the cat sees the tiger then the bear chases the tiger. sent20: If someone chases the tiger and they are green then the tiger chases the cow. sent21: Nice, kind people are cold. sent22: If someone chases the bear then the bear chases the cat. sent23: If someone chases the cat then they are nice. sent24: If someone is nice then they are kind.
translation.ro: $answer$ = False ; $proof$ = # sent22%int1 sent14 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.