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