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