translation.en: $answer$ ; $proof$ ; $question$ = Harry is round. ; $context$ = sent1: Bob is rough. sent2: Bob is round. sent3: Bob is young. sent4: Erin is rough. sent5: Gary is white. sent6: Gary is young. sent7: Harry is blue. sent8: Young, blue people are nice. sent9: Blue people are nice. sent10: White people are blue. sent11: If Erin is red and Erin is not white then Erin is rough. sent12: All blue, young people are rough. sent13: If someone is red and blue then they are rough. sent14: If Harry is red and Harry is nice then Harry is round. sent15: Nice people are young. sent16: All rough people are red.
translation.ro: $answer$ = True ; $proof$ = # sent14%int1 & # sent16%int2 # sent12%int3 & sent7 # sent15%int4 # sent9%int5 sent7 # sent9%int5 sent7 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.