translation.en: $answer$ ; $proof$ ; $question$ = The cat visits the bear. ; $context$ = sent1: The bear visits the tiger. sent2: The cat is kind. sent3: The mouse is green. sent4: The mouse is kind. sent5: The mouse sees the tiger. sent6: The tiger is rough. sent7: The tiger visits the cat. sent8: If something visits the bear then it sees the bear. sent9: If something sees the bear then the bear likes the cat. sent10: If something visits the cat then the cat visits the bear. sent11: If something sees the bear and the bear likes the cat then it is cold. sent12: Cold things are rough. sent13: If something is green and it likes the tiger then the tiger visits the mouse.
translation.ro: $answer$ = True ; $proof$ = # sent10%int1 sent7 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.