Bob is green. Bob is rough. Bob is smart. Bob is white. Charlie is red. Charlie is round. Erin is quiet. Erin is red. Erin is round. Erin is smart. Erin is white. Harry is green. Harry is quiet. Harry is not red. Harry is white. If Bob is green and Bob is not round then Bob is not red. If something is not quiet and not smart then it is red. If Harry is round then Harry is red.
Harry is not round.