Anne is blue. Anne is red. Bob is kind. Bob is red. Bob is not white. Charlie is blue. Charlie is kind. Charlie is rough. Erin is quiet. Erin is rough. If Erin is white then Erin is not rough.
Bob is not rough.