translation.en: $answer$ ; $proof$ ; $question$ = The rabbit eats the cat. ; $context$ = sent1: The cat visits the mouse. sent2: The dog visits the cat. sent3: The mouse eats the dog. sent4: The mouse is cold. sent5: The mouse needs the rabbit. sent6: The rabbit is cold. sent7: The rabbit is young. sent8: If something eats the cat and it does not eat the rabbit then it needs the mouse. sent9: If something visits the rabbit then the rabbit eats the mouse. sent10: If something eats the rabbit then the rabbit needs the cat. sent11: If something visits the dog and it needs the mouse then the mouse visits the cat. sent12: If something is rough and it needs the mouse then the mouse needs the cat. sent13: If something needs the rabbit then the rabbit is rough. sent14: If something needs the cat then the cat is rough. sent15: If something is rough and it does not need the dog then it eats the cat.
translation.ro: $answer$ = True ; $proof$ = # sent15%int1 & # sent13%int2 sent5 naf1 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.