translation.en: $answer$ ; $proof$ ; $question$ = The rabbit likes the squirrel. ; $context$ = sent1: The bald eagle needs the squirrel. sent2: The lion is red. sent3: The lion is rough. sent4: The lion visits the squirrel. sent5: The rabbit is rough. sent6: The rabbit likes the lion. sent7: The rabbit needs the bald eagle. sent8: The rabbit needs the squirrel. sent9: The rabbit visits the lion. sent10: The squirrel is round. sent11: The squirrel likes the lion. sent12: The squirrel needs the lion. sent13: The squirrel visits the bald eagle. sent14: The squirrel visits the rabbit. sent15: If the squirrel is red then the squirrel visits the lion. sent16: If something likes the squirrel then the squirrel visits the lion. sent17: If something is round then it visits the bald eagle. sent18: If something likes the rabbit then it is nice. sent19: If something likes the lion and the lion likes the rabbit then the rabbit needs the lion. sent20: If something likes the squirrel and the squirrel likes the lion then it is round. sent21: If something likes the lion then the lion likes the rabbit. sent22: If something visits the squirrel and it is red then the squirrel needs the rabbit. sent23: If something needs the lion then it likes the squirrel.
translation.ro: $answer$ = True ; $proof$ = # sent23%int1 # sent19%int2 & sent11 # sent21%int3 sent11 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.