Anne is cold. Anne is not nice. Anne is not red. Anne is rough. Anne is round. Anne is not white. Bob is nice. Bob is red. Bob is rough. Bob is white. Harry is round. Harry is white. If something is round then it is not green. If Bob is rough then Bob is round.
Harry is nice.