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