translation.en: $answer$ ; $proof$ ; $question$ = The lion is not red. ; $context$ = sent1: The cat is blue. sent2: The cat is rough. sent3: The dog sees the squirrel. sent4: The dog visits the squirrel. sent5: The lion is round. sent6: The lion needs the cat. sent7: The lion needs the squirrel. sent8: The squirrel is rough. sent9: The squirrel is round. sent10: The squirrel needs the dog. sent11: The squirrel needs the lion. sent12: The squirrel sees the dog. sent13: If something sees the squirrel then it needs the cat. sent14: If something needs the cat and it is kind then it is blue. sent15: All kind things are blue. sent16: If something is round then it visits the squirrel. sent17: If something is kind and it does not need the lion then it visits the lion. sent18: If something needs the cat then it visits the lion. sent19: All red things are rough. sent20: If something is blue then it sees the squirrel. sent21: If something needs the cat and the cat visits the lion then the lion is red.
translation.ro: $answer$ = False ; $proof$ = # sent21%int1 & sent6 # sent18%int2 # sent13%int3 # sent20%int4 sent1 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.