Bob is blue. Bob is cold. Bob is nice. Bob is quiet. Bob is rough. Bob is smart. Charlie is blue. Charlie is nice. Charlie is rough. Erin is nice. Erin is rough. Harry is blue. Nice, cold things are smart. Nice things are rough. If Bob is rough and Bob is cold then Bob is smart. If something is nice then it is quiet. If something is quiet and blue then it is red. If something is blue and quiet then it is cold.
Harry is not red.