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