translation.en: $answer$ ; $proof$ ; $question$ = The cow sees the cow. ; $context$ = sent1: The bald eagle is green. sent2: The bald eagle needs the lion. sent3: The bald eagle sees the cat. sent4: The bald eagle sees the lion. sent5: The cat sees the bald eagle. sent6: The cow sees the bald eagle. sent7: The lion needs the bald eagle. sent8: If someone sees the cat and the cat is green then they visit the cat. sent9: If someone needs the cat and the cat needs the bald eagle then they are blue. sent10: If someone is blue and they need the lion then they see the lion. sent11: If someone sees the cow then the cow needs the bald eagle. sent12: If someone needs the bald eagle then they see the lion. sent13: If someone needs the cat then the cat is blue. sent14: If someone visits the lion and they are nice then the lion visits the cat. sent15: If someone needs the bald eagle and they see the lion then they see the cow.
translation.ro: $answer$ = True ; $proof$ = # sent15%int1 & # sent11%int3 # sent15%int4 & sent7 # sent12%int5 sent7 # sent12%int2 # sent11%int3 # sent15%int4 & sent7 # sent12%int5 sent7 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.