translation.en: $answer$ ; $proof$ ; $question$ = The dog eats the mouse. ; $context$ = sent1: The bear is nice. sent2: The bear likes the tiger. sent3: The dog chases the tiger. sent4: The dog is kind. sent5: The dog is rough. sent6: The dog is round. sent7: The mouse chases the dog. sent8: The mouse chases the tiger. sent9: The mouse eats the dog. sent10: The tiger is rough. sent11: If someone is kind and round then they like the dog. sent12: If someone eats the mouse then the mouse eats the tiger. sent13: If someone eats the tiger and they chase the tiger then they eat the mouse. sent14: If the mouse does not chase the tiger then the tiger is nice. sent15: If someone likes the dog then they eat the tiger.
translation.ro: $answer$ = True ; $proof$ = # sent13%int1 & # sent15%int2 # sent11%int3 sent6 sent3 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.