translation.en: $answer$ ; $proof$ ; $question$ = The lion visits the lion. ; $context$ = sent1: The cow is round. sent2: The cow needs the mouse. sent3: The cow sees the lion. sent4: The cow sees the tiger. sent5: The cow visits the mouse. sent6: The cow visits the tiger. sent7: The lion needs the mouse. sent8: The lion needs the tiger. sent9: The lion sees the cow. sent10: The lion visits the mouse. sent11: The mouse needs the tiger. sent12: The mouse sees the cow. sent13: The mouse sees the tiger. sent14: The tiger is red. sent15: The tiger needs the lion. sent16: The tiger needs the mouse. sent17: If someone visits the tiger then they visit the cow. sent18: If someone sees the tiger then they visit the cow. sent19: If the lion sees the mouse and the mouse sees the lion then the lion needs the tiger. sent20: If someone visits the cow then they visit the lion. sent21: If someone visits the lion then the lion sees the tiger. sent22: If someone sees the tiger then the tiger sees the cow. sent23: If someone is nice then they visit the tiger. sent24: Green people are young.
translation.ro: $answer$ = True ; $proof$ = # sent20%int1 # sent18%int2 # sent21%int3 # sent20%int4 # sent18%int5 sent13 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.