translation.en: $answer$ ; $proof$ ; $question$ = The dog does not need the tiger. ; $context$ = sent1: The bald eagle needs the mouse. sent2: The bald eagle visits the mouse. sent3: The dog is young. sent4: The dog needs the mouse. sent5: The dog visits the mouse. sent6: The mouse is red. sent7: The mouse is rough. sent8: The mouse visits the bald eagle. sent9: The tiger is cold. sent10: The tiger needs the bald eagle. sent11: The tiger needs the dog. sent12: The tiger visits the dog. sent13: If the mouse visits the dog then the mouse visits the tiger. sent14: If something needs the tiger and the tiger is cold then it is green. sent15: If something is cold and it needs the bald eagle then the bald eagle visits the mouse. sent16: If something needs the mouse then it visits the bald eagle. sent17: If something is young then it needs the tiger. sent18: If something visits the dog and the dog is green then it is young.
translation.ro: $answer$ = False ; $proof$ = # sent17%int1 sent3 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.