Bob is blue. Bob is cold. Bob is green. Bob is red. Bob is rough. Bob is round. Bob is smart. Erin is blue. Erin is red. Erin is rough. Gary is red. Gary is round. Gary is smart. Harry is blue. If someone is cold then they are green. All red, smart people are green. All round people are green. If someone is rough and cold then they are smart. All blue people are round. Cold, green people are rough. Blue, green people are round. Green people are cold.
Harry is not rough.