Anne is nice. Anne is rough. Anne is round. Bob is blue. Bob is nice. Bob is quiet. Bob is round. Erin is blue. Erin is quiet. Erin is red. Erin is round. Harry is big. Harry is blue. Harry is nice. Harry is rough. Harry is round. All red, rough people are quiet. All rough people are red. If Bob is big and Bob is red then Bob is quiet. If someone is red then they are big. If someone is red and rough then they are round. All rough people are nice. Blue, quiet people are round. If Harry is red and Harry is nice then Harry is blue.
Harry is not red.