translation.en: $answer$ ; $proof$ ; $question$ = The squirrel sees the squirrel. ; $context$ = sent1: The bald eagle eats the squirrel. sent2: The bald eagle likes the cat. sent3: The cat is nice. sent4: The cat likes the bald eagle. sent5: The cow is red. sent6: The cow likes the cat. sent7: The cow sees the bald eagle. sent8: The cow sees the squirrel. sent9: The squirrel is cold. sent10: The squirrel sees the cow. sent11: If something eats the cow and the cow is not nice then it sees the squirrel. sent12: If something likes the squirrel and it sees the cat then the squirrel likes the cow. sent13: If something eats the squirrel and the squirrel eats the bald eagle then the bald eagle sees the cow. sent14: If the bald eagle eats the cat and the bald eagle does not like the cat then the cat is cold. sent15: If something is nice and it sees the squirrel then the squirrel is nice. sent16: If something is nice and not red then it eats the cow. sent17: If something is big and cold then it eats the cow. sent18: If something likes the squirrel and it eats the squirrel then it is green.
translation.ro: $answer$ = True ; $proof$ = # sent11%int1 & # sent16%int2 & # sent15%int3 & sent3 # sent11%int4 & # sent16%int5 naf3 naf2 naf1 naf2 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.