translation.en: $answer$ ; $proof$ ; $question$ = The cat eats the dog. ; $context$ = sent1: The cat needs the dog. sent2: The dog is kind. sent3: The dog needs the rabbit. sent4: The rabbit eats the dog. sent5: The rabbit is green. sent6: The tiger chases the rabbit. sent7: The tiger is big. sent8: If something is nice and it eats the tiger then it needs the dog. sent9: If something chases the cat then it eats the cat. sent10: If the dog chases the tiger then the tiger needs the rabbit. sent11: If the rabbit chases the tiger then the rabbit chases the cat. sent12: If something chases the cat then the cat is kind. sent13: If something eats the dog then it chases the cat. sent14: If something is rough then it eats the dog. sent15: If something is kind then it is rough. sent16: If something eats the rabbit and the rabbit is big then it is kind.
translation.ro: $answer$ = True ; $proof$ = # sent14%int1 # sent15%int2 # sent12%int3 # sent13%int4 sent4 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.