translation.en: $answer$ ; $proof$ ; $question$ = The rabbit eats the rabbit. ; $context$ = sent1: The cat eats the dog. sent2: The cat eats the mouse. sent3: The cat sees the mouse. sent4: The dog eats the cat. sent5: The dog eats the mouse. sent6: The dog is red. sent7: The dog visits the rabbit. sent8: The mouse eats the cat. sent9: The rabbit visits the dog. sent10: The rabbit visits the mouse. sent11: If something eats the rabbit then the rabbit sees the dog. sent12: If something is blue then it eats the rabbit. sent13: If something eats the cat and it visits the cat then it is blue. sent14: If something visits the rabbit and it sees the rabbit then the rabbit sees the dog. sent15: If something is round and it sees the dog then it visits the dog. sent16: If something is red then it eats the cat. sent17: If something sees the dog then it eats the rabbit. sent18: If something eats the cat then it visits the cat. sent19: If something is red and it sees the dog then it sees the cat.
translation.ro: $answer$ = True ; $proof$ = # sent17%int1 # sent11%int2 # sent12%int3 # sent13%int4 & sent4 # sent18%int5 sent4 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.