translation.en: $answer$ ; $proof$ ; $question$ = The squirrel does not see the bear. ; $context$ = sent1: The bald eagle is blue. sent2: The bear eats the rabbit. sent3: The bear likes the bald eagle. sent4: The bear likes the rabbit. sent5: The bear likes the squirrel. sent6: The rabbit eats the squirrel. sent7: The rabbit likes the bear. sent8: The squirrel eats the bear. sent9: The squirrel is blue. sent10: The squirrel sees the bald eagle. sent11: If something is big and cold then it eats the bear. sent12: If something sees the rabbit and it likes the squirrel then it sees the bear. sent13: If the squirrel is big then the squirrel sees the bear. sent14: If something likes the rabbit then it sees the rabbit. sent15: If something eats the rabbit then it sees the rabbit. sent16: If something likes the bald eagle and it is blue then the bald eagle eats the rabbit. sent17: If something sees the rabbit then the rabbit sees the squirrel. sent18: If something sees the bald eagle then it is big. sent19: If something sees the bear then the bear is blue.
translation.ro: $answer$ = False ; $proof$ = # sent13%int1 # sent18%int2 sent10 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.