Bob is blue. Bob is cold. Erin is blue. Erin is quiet. Erin is rough. Erin is round. Fiona is blue. Fiona is rough. Fiona is round. Gary is blue. Gary is furry. Gary is smart. If something is cold then it is blue. Smart, quiet things are furry. Rough, smart things are quiet. All furry things are smart. If Bob is rough then Bob is blue. All rough, round things are quiet. Rough, round things are cold. Round things are smart.
Gary is not smart.