translation.en: $answer$ ; $proof$ ; $question$ = Anne is round. ; $context$ = sent1: Anne is cold. sent2: Anne is round. sent3: Erin is blue. sent4: Erin is furry. sent5: Fiona is green. sent6: Fiona is red. sent7: Gary is green. sent8: Furry, green things are cold. sent9: Round things are green. sent10: If something is round and green then it is red. sent11: All green things are blue. sent12: Kind things are round. sent13: All blue things are green. sent14: If something is cold then it is kind. sent15: If something is round and kind then it is cold.
translation.ro: $answer$ = True ; $proof$ = sent2