translation.en: $answer$ ; $proof$ ; $question$ = The rabbit chases the tiger. ; $context$ = sent1: The bald eagle needs the cow. sent2: The cow is blue. sent3: The cow is round. sent4: The cow needs the rabbit. sent5: The cow needs the tiger. sent6: The cow visits the tiger. sent7: The rabbit is kind. sent8: The rabbit is rough. sent9: The rabbit is round. sent10: The tiger visits the bald eagle. sent11: The tiger visits the cow. sent12: If the cow is cold then the cow is round. sent13: If something chases the bald eagle then it chases the tiger. sent14: If the tiger needs the rabbit and the rabbit chases the cow then the tiger visits the bald eagle. sent15: If something visits the cow then the cow visits the rabbit. sent16: All blue things are round. sent17: If something chases the tiger and it is cold then the tiger chases the bald eagle. sent18: If something chases the tiger then the tiger is kind. sent19: If something is kind then it chases the bald eagle.
translation.ro: $answer$ = True ; $proof$ = # sent13%int1 # sent19%int2 sent7 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.