translation.en: $answer$ ; $proof$ ; $question$ = Harry is nice. ; $context$ = sent1: Anne is red. sent2: Bob is big. sent3: Bob is cold. sent4: Erin is nice. sent5: Erin is red. sent6: Erin is smart. sent7: Harry is smart. sent8: All cold things are big. sent9: If something is nice then it is big. sent10: Smart things are nice. sent11: If something is nice and big then it is young. sent12: All cold things are young. sent13: If Erin is young then Erin is nice. sent14: Nice, big things are red. sent15: All red, young things are cold. sent16: All cold things are blue.
translation.ro: $answer$ = True ; $proof$ = # sent10%int1 sent7 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.