Anne is cold. Bob is big. Bob is white. Charlie is big. Charlie is cold. Charlie is furry. Charlie is green. Gary is green. Gary is round. Gary is smart. All green things are cold. If Bob is big then Bob is green. Cold things are smart.
Bob is round.