Dave is big. Dave is round. Dave is smart. Dave is young. Erin is cold. Erin is rough. Erin is round. Fiona is young. Gary is rough. Gary is young. If someone is smart and red then they are cold. All smart people are red. Cold people are round. If Erin is round and Erin is young then Erin is smart. If someone is red and round then they are smart. Round people are red. All smart, round people are big. If someone is rough then they are cold.
Gary is not smart.