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