translation.en: $answer$ ; $proof$ ; $question$ = Anne is round. ; $context$ = sent1: Anne is round. sent2: Bob is furry. sent3: Bob is round. sent4: Charlie is furry. sent5: Charlie is kind. sent6: Charlie is nice. sent7: Charlie is red. sent8: Charlie is round. sent9: Charlie is young. sent10: Fiona is kind. sent11: Fiona is young. sent12: Young, blue things are nice. sent13: All young things are nice. sent14: Blue, round things are furry. sent15: If something is red then it is furry. sent16: If something is blue and furry then it is red. sent17: All nice things are blue. sent18: Round things are young. sent19: All young things are kind.
translation.ro: $answer$ = True ; $proof$ = sent1