translation.en: $answer$ ; $proof$ ; $question$ = The cat is not kind. ; $context$ = sent1: The cat chases the squirrel. sent2: The cat likes the dog. sent3: The cat likes the squirrel. sent4: The cow is cold. sent5: The dog chases the cow. sent6: The dog visits the squirrel. sent7: The squirrel chases the dog. sent8: The squirrel is nice. sent9: The squirrel likes the dog. sent10: The squirrel visits the cow. sent11: If someone is nice and they chase the dog then the dog likes the cow. sent12: If someone is kind then they chase the cat. sent13: If someone chases the cat then the cat visits the squirrel. sent14: If someone visits the squirrel then they are kind. sent15: If someone visits the dog and the dog visits the cat then they are young. sent16: If someone visits the cat then the cat visits the cow. sent17: If someone is nice then they visit the dog. sent18: If someone chases the cat and they do not like the dog then the dog visits the squirrel.
translation.ro: $answer$ = False ; $proof$ = # sent14%int1 # sent13%int2 # sent12%int3 # sent14%int4 sent6 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.