translation.en: $answer$ ; $proof$ ; $question$ = The cat does not see the dog. ; $context$ = sent1: The bald eagle is green. sent2: The bald eagle is rough. sent3: The bald eagle is young. sent4: The bald eagle needs the squirrel. sent5: The bald eagle sees the squirrel. sent6: The cat is round. sent7: The cat needs the bald eagle. sent8: The cat needs the dog. sent9: The cat visits the bald eagle. sent10: The dog needs the bald eagle. sent11: The dog sees the bald eagle. sent12: The dog visits the cat. sent13: The squirrel needs the cat. sent14: The squirrel visits the bald eagle. sent15: If something sees the dog then it sees the cat. sent16: If something needs the dog and it is round then it needs the cat. sent17: If something visits the squirrel then the squirrel visits the dog. sent18: If something is nice then it sees the dog. sent19: If something needs the cat then it is nice. sent20: If something sees the cat then it is green. sent21: If something needs the cat then it is rough. sent22: If something visits the squirrel and the squirrel visits the dog then the squirrel visits the bald eagle.
translation.ro: $answer$ = False ; $proof$ = # sent18%int1 # sent19%int2 # sent16%int3 sent6 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.