translation.en: $answer$ ; $proof$ ; $question$ = The squirrel is kind. ; $context$ = sent1: The cow sees the lion. sent2: The cow sees the squirrel. sent3: The lion visits the rabbit. sent4: The rabbit is blue. sent5: The rabbit visits the lion. sent6: The squirrel sees the cow. sent7: The squirrel visits the cow. sent8: If something visits the lion and the lion is big then it visits the rabbit. sent9: If something visits the cow then it is round. sent10: If something likes the squirrel and it visits the rabbit then the squirrel is blue. sent11: If the lion visits the squirrel and the lion sees the cow then the lion is red. sent12: If something likes the squirrel then the squirrel likes the cow. sent13: If something sees the squirrel then it likes the cow. sent14: If something sees the squirrel then the squirrel visits the rabbit. sent15: If something likes the cow then it likes the squirrel. sent16: If something visits the cow then it is kind.
translation.ro: $answer$ = True ; $proof$ = # sent16%int1 sent7 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.