translation.en: $answer$ ; $proof$ ; $question$ = The lion is rough. ; $context$ = sent1: The cat is big. sent2: The cat sees the tiger. sent3: The lion sees the tiger. sent4: The squirrel eats the lion. sent5: The squirrel is kind. sent6: The squirrel needs the tiger. sent7: The tiger is rough. sent8: If something is kind and it sees the cat then the cat eats the squirrel. sent9: If something needs the lion then the lion is rough. sent10: If something needs the cat and the cat is red then the cat is young. sent11: If something eats the tiger and the tiger does not need the cat then it sees the lion. sent12: Red, big things are rough. sent13: If something sees the lion and the lion sees the tiger then it needs the lion. sent14: If something is rough and not kind then it eats the tiger. sent15: If something eats the tiger then it eats the cat.
translation.ro: $answer$ = True ; $proof$ = # sent9%int1 # sent13%int2 & # sent11%int3 & # sent14%int4 naf2 naf1 sent3 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.