translation.en: $answer$ ; $proof$ ; $question$ = The cat is round. ; $context$ = sent1: The bald eagle chases the cat. sent2: The bald eagle chases the squirrel. sent3: The bald eagle chases the tiger. sent4: The bald eagle is young. sent5: The bald eagle visits the squirrel. sent6: The bald eagle visits the tiger. sent7: The cat visits the squirrel. sent8: The squirrel is cold. sent9: The squirrel is young. sent10: The squirrel needs the bald eagle. sent11: The squirrel visits the cat. sent12: The tiger chases the cat. sent13: The tiger chases the squirrel. sent14: The tiger needs the cat. sent15: If the bald eagle chases the squirrel then the bald eagle chases the cat. sent16: If someone visits the tiger then the tiger is red. sent17: If someone chases the bald eagle then they are blue. sent18: Blue people are round. sent19: If someone is round then they visit the tiger. sent20: If someone chases the squirrel and they are not young then they visit the tiger. sent21: If the cat does not need the tiger then the cat chases the bald eagle. sent22: If the bald eagle does not chase the squirrel and the bald eagle does not chase the cat then the bald eagle visits the cat. sent23: If someone visits the cat and the cat visits the tiger then the cat needs the bald eagle.
translation.ro: $answer$ = True ; $proof$ = # sent18%int1 # sent17%int2 # sent21%int3 naf1 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.