translation.en: $answer$ ; $proof$ ; $question$ = The bear needs the cow. ; $context$ = sent1: The bear visits the lion. sent2: The cat visits the lion. sent3: The cow is blue. sent4: The cow is kind. sent5: The cow needs the bear. sent6: The lion is rough. sent7: The lion needs the cow. sent8: If something chases the cow then the cow visits the lion. sent9: If something chases the bear then the bear needs the cow. sent10: If something needs the cat then the cat chases the lion. sent11: If something needs the lion and the lion is round then it chases the bear. sent12: If something is kind then it chases the bear. sent13: If something needs the lion then the lion chases the cat. sent14: If something chases the lion then the lion chases the cow. sent15: If the cow visits the cat then the cat chases the bear. sent16: If something visits the lion and it is not big then it needs the cat.
translation.ro: $answer$ = True ; $proof$ = # sent9%int1 # sent12%int2 sent4 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.