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