translation.en: $answer$ ; $proof$ ; $question$ = The squirrel needs the squirrel. ; $context$ = sent1: The cat likes the squirrel. sent2: The mouse visits the squirrel. sent3: The mouse visits the tiger. sent4: The squirrel likes the tiger. sent5: The squirrel needs the tiger. sent6: The squirrel visits the tiger. sent7: The tiger needs the cat. sent8: If something is red and it visits the squirrel then the squirrel is big. sent9: If something is red then it needs the squirrel. sent10: If the mouse needs the cat then the mouse is blue. sent11: If something is cold and it visits the tiger then it needs the mouse. sent12: If something needs the tiger and it visits the tiger then the tiger likes the mouse. sent13: If something needs the squirrel then the squirrel needs the cat. sent14: If something likes the mouse then it needs the cat. sent15: If something needs the cat then it is red.
translation.ro: $answer$ = True ; $proof$ = # sent9%int1 # sent15%int2 # sent13%int3 # sent9%int4 # sent15%int5 sent7 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.