translation.en: $answer$ ; $proof$ ; $question$ = The mouse eats the cat. ; $context$ = sent1: The cat is big. sent2: The cat likes the dog. sent3: The cat likes the mouse. sent4: The dog eats the cat. sent5: The dog eats the tiger. sent6: The dog likes the mouse. sent7: The mouse sees the tiger. sent8: The tiger eats the cat. sent9: The tiger eats the dog. sent10: The tiger eats the mouse. sent11: The tiger is red. sent12: If someone sees the dog and the dog is cold then they are nice. sent13: If someone is big then they see the dog. sent14: If someone eats the cat then they are nice. sent15: If someone sees the mouse then they see the tiger. sent16: If someone is nice then they eat the dog. sent17: All red people are rough. sent18: If the dog sees the tiger and the dog sees the mouse then the mouse likes the dog. sent19: If someone likes the dog and the dog eats the tiger then they eat the cat. sent20: If someone eats the tiger and the tiger is red then they see the mouse.
translation.ro: $answer$ = True ; $proof$ = # sent19%int1 & # sent18%int2 & sent5 # sent20%int4 sent11 sent5 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.