Bob is big. Bob is blue. Bob is quiet. Dave is cold. Dave is kind. Dave is quiet. Fiona is blue. Fiona is cold. Fiona is nice. Fiona is smart. Gary is big. Gary is blue. Gary is cold. Gary is kind. Gary is quiet. If someone is kind and quiet then they are big. All quiet people are kind. Big people are blue. If Gary is quiet and Gary is smart then Gary is nice. If Gary is nice then Gary is big. All cold people are quiet.
Gary is not smart.