translation.en: $answer$ ; $proof$ ; $question$ = Gary is not round. ; $context$ = sent1: Anne is white. sent2: Erin is round. sent3: Erin is white. sent4: Gary is cold. sent5: Gary is round. sent6: Harry is furry. sent7: Harry is green. sent8: Furry, white people are green. sent9: Nice people are round. sent10: All round, furry people are green. sent11: All cold people are white. sent12: All cold, rough people are round. sent13: All white people are cold. sent14: If someone is cold then they are furry. sent15: All furry, green people are rough. sent16: All round, green people are cold.
translation.ro: $answer$ = False ; $proof$ = sent5