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