translation.en: $answer$ ; $proof$ ; $question$ = The lion is blue. ; $context$ = sent1: The dog chases the squirrel. sent2: The lion eats the squirrel. sent3: The lion sees the dog. sent4: The squirrel chases the dog. sent5: The squirrel chases the lion. sent6: The squirrel eats the lion. sent7: The squirrel is green. sent8: The squirrel is rough. sent9: The squirrel sees the dog. sent10: The squirrel sees the lion. sent11: The tiger is rough. sent12: If something is blue then it chases the lion. sent13: If something chases the lion and it eats the squirrel then the squirrel sees the tiger. sent14: If the squirrel eats the lion and the squirrel is green then the lion sees the tiger. sent15: If something sees the tiger then it is blue. sent16: Rough things are big. sent17: If something chases the dog then it chases the tiger.
translation.ro: $answer$ = True ; $proof$ = # sent15%int1 # sent14%int2 sent7 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.