Anne is round. Bob is quiet. Gary is green. Cold things are round. All smart things are furry. If Anne is cold then Anne is smart. All round things are cold. If something is green and smart then it is round. Furry things are smart.
Bob is cold.