translation.en: $answer$ ; $proof$ ; $question$ = The mouse is blue. ; $context$ = sent1: The cat is kind. sent2: The cat sees the tiger. sent3: The lion is green. sent4: The mouse needs the cat. sent5: The mouse sees the cat. sent6: The tiger is blue. sent7: The tiger is red. sent8: If someone sees the mouse and the mouse sees the tiger then the mouse needs the lion. sent9: If the mouse likes the lion and the lion sees the cat then the mouse needs the lion. sent10: If the lion is not red and the lion does not need the mouse then the mouse is blue. sent11: If someone is green and not rough then they see the mouse. sent12: If someone is blue and not kind then they like the tiger. sent13: If someone needs the tiger and they are green then the tiger is green. sent14: If someone sees the mouse then they need the tiger.
translation.ro: $answer$ = True ; $proof$ = # sent10%int1 naf1 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.