translation.en: $answer$ ; $proof$ ; $question$ = The mouse does not see the mouse. ; $context$ = sent1: The cat likes the tiger. sent2: The lion sees the tiger. sent3: The mouse chases the cat. sent4: The mouse likes the cat. sent5: The mouse sees the cat. sent6: The tiger chases the lion. sent7: The tiger likes the lion. sent8: If someone likes the tiger then they are cold. sent9: If someone is cold then they see the mouse. sent10: If someone is cold then they like the cat. sent11: If someone sees the mouse then the mouse likes the tiger. sent12: Young people are nice. sent13: If someone likes the mouse then they like the lion. sent14: If the tiger sees the cat then the cat sees the lion. sent15: If someone sees the mouse and the mouse chases the lion then the mouse sees the cat.
translation.ro: $answer$ = False ; $proof$ = # sent9%int1 # sent8%int2 # sent11%int3 # sent9%int4 # sent8%int5 sent1 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.