translation.en: $answer$ ; $proof$ ; $question$ = The squirrel eats the squirrel. ; $context$ = sent1: The bear eats the squirrel. sent2: The bear is cold. sent3: The bear is rough. sent4: The bear visits the lion. sent5: The cat eats the lion. sent6: The lion likes the cat. sent7: The lion visits the bear. sent8: The squirrel eats the lion. sent9: The squirrel is cold. sent10: The squirrel is rough. sent11: The squirrel likes the bear. sent12: The squirrel visits the lion. sent13: Red people are green. sent14: If someone eats the lion then the lion is red. sent15: If someone is green and they like the lion then they eat the bear. sent16: If someone visits the bear then the bear likes the lion. sent17: If someone likes the squirrel and they like the lion then they visit the lion. sent18: If someone is green then they eat the squirrel. sent19: If someone likes the lion then they visit the bear. sent20: If someone visits the lion and the lion is green then they are red.
translation.ro: $answer$ = True ; $proof$ = # sent18%int1 # sent13%int2 # sent20%int3 & sent12 # sent13%int4 # sent14%int5 sent5 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.