translation.en: $answer$ ; $proof$ ; $question$ = Harry is red. ; $context$ = sent1: Bob is cold. sent2: Bob is kind. sent3: Bob is red. sent4: Bob is smart. sent5: Bob is young. sent6: Fiona is blue. sent7: Gary is blue. sent8: Gary is kind. sent9: Harry is kind. sent10: Harry is young. sent11: All red people are blue. sent12: All blue people are smart. sent13: All young people are cold. sent14: Cold people are red. sent15: If someone is kind and smart then they are white.
translation.ro: $answer$ = True ; $proof$ = # sent14%int1 # sent13%int2 sent10 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.