translation.en: $answer$ ; $proof$ ; $question$ = Gary is round. ; $context$ = sent1: Anne is round. sent2: Bob is blue. sent3: Bob is cold. sent4: Bob is quiet. sent5: Dave is quiet. sent6: Gary is blue. sent7: Gary is cold. sent8: Gary is furry. sent9: Gary is quiet. sent10: Gary is rough. sent11: Gary is round. sent12: Gary is young. sent13: All young people are rough. sent14: All rough people are quiet. sent15: If someone is rough and young then they are furry. sent16: Round people are young. sent17: If someone is furry and quiet then they are blue. sent18: All blue people are cold. sent19: If Bob is not young and Bob is not rough then Bob is furry.
translation.ro: $answer$ = True ; $proof$ = sent11