translation.en: $answer$ ; $proof$ ; $question$ = The lion is young. ; $context$ = sent1: The cat eats the dog. sent2: The cat is young. sent3: The cat needs the rabbit. sent4: The dog is young. sent5: The dog needs the rabbit. sent6: The lion is green. sent7: The lion needs the cat. sent8: The rabbit chases the cat. sent9: The rabbit chases the dog. sent10: The rabbit eats the cat. sent11: The rabbit needs the cat. sent12: The rabbit needs the lion. sent13: All green things are red. sent14: If something is red and young then it eats the lion. sent15: If something eats the cat then the cat is green. sent16: If something is blue and it eats the cat then the cat chases the dog. sent17: If something eats the rabbit and it needs the lion then the rabbit is red. sent18: If something eats the lion then the lion is young. sent19: If something is big then it eats the cat. sent20: If something eats the rabbit then the rabbit eats the dog.
translation.ro: $answer$ = True ; $proof$ = # sent18%int1 # sent14%int2 & # sent13%int3 # sent15%int4 sent10 sent2 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.