translation.en: $answer$ ; $proof$ ; $question$ = The cat visits the rabbit. ; $context$ = sent1: The cat eats the tiger. sent2: The cat is kind. sent3: The cat is nice. sent4: The rabbit eats the tiger. sent5: The rabbit is big. sent6: The rabbit is nice. sent7: The rabbit is round. sent8: The rabbit likes the squirrel. sent9: The squirrel is big. sent10: The squirrel likes the rabbit. sent11: The squirrel likes the tiger. sent12: The squirrel visits the tiger. sent13: The tiger is round. sent14: The tiger likes the rabbit. sent15: The tiger visits the cat. sent16: The tiger visits the rabbit. sent17: If someone visits the tiger then they like the tiger. sent18: If the squirrel eats the rabbit and the squirrel is big then the rabbit visits the squirrel. sent19: If the tiger visits the rabbit and the tiger is round then the rabbit visits the squirrel. sent20: If someone eats the cat then the cat visits the rabbit. sent21: If someone visits the cat and the cat visits the rabbit then the cat eats the squirrel. sent22: If someone visits the squirrel and the squirrel visits the tiger then the tiger eats the cat. sent23: If someone eats the tiger and they like the rabbit then they visit the rabbit. sent24: If someone eats the squirrel then the squirrel likes the cat. sent25: If the cat likes the squirrel and the cat is not nice then the squirrel eats the tiger.
translation.ro: $answer$ = True ; $proof$ = # sent20%int1 # sent22%int2 & # sent19%int3 sent13 sent12 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.