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