translation.en: $answer$ ; $proof$ ; $question$ = The tiger likes the tiger. ; $context$ = sent1: The cow is green. sent2: The cow is kind. sent3: The cow is nice. sent4: The lion is green. sent5: The lion is round. sent6: The lion likes the cow. sent7: The squirrel chases the cow. sent8: The squirrel chases the tiger. sent9: The squirrel is rough. sent10: The squirrel is round. sent11: The squirrel likes the lion. sent12: The tiger is kind. sent13: The tiger is nice. sent14: The tiger is round. sent15: The tiger likes the squirrel. sent16: The tiger visits the lion. sent17: If someone likes the tiger then they visit the tiger. sent18: If someone visits the lion then they visit the squirrel. sent19: If someone is kind and they chase the lion then they like the tiger. sent20: If someone visits the tiger and the tiger is nice then the tiger chases the cow. sent21: If someone chases the cow then they are green. sent22: If someone is rough then they are green. sent23: If the tiger visits the squirrel and the tiger chases the squirrel then the tiger likes the lion. sent24: If someone visits the cow then the cow likes the lion. sent25: If someone is round then they chase the lion.
translation.ro: $answer$ = True ; $proof$ = # sent19%int1 & sent12 # sent25%int2 sent14 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.