translation.en: $answer$ ; $proof$ ; $question$ = The squirrel is blue. ; $context$ = sent1: The dog eats the squirrel. sent2: The dog eats the tiger. sent3: The dog sees the rabbit. sent4: The dog sees the squirrel. sent5: The rabbit is big. sent6: The squirrel is big. sent7: The squirrel is nice. sent8: The squirrel visits the dog. sent9: The tiger is big. sent10: The tiger is blue. sent11: If the squirrel sees the tiger then the squirrel is blue. sent12: If someone is nice then they see the dog. sent13: If someone sees the rabbit and the rabbit sees the squirrel then they visit the tiger. sent14: If someone is blue then they visit the tiger. sent15: If the squirrel visits the tiger then the tiger visits the dog. sent16: If someone is big then they see the squirrel. sent17: If someone sees the dog and the dog is not big then they are kind. sent18: If someone is big then they visit the squirrel. sent19: If someone visits the squirrel then they see the tiger.
translation.ro: $answer$ = True ; $proof$ = # sent11%int1 # sent19%int2 # sent18%int3 sent6 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.