Anne is nice. Anne is smart. Anne is young. Bob is nice. Bob is white. Charlie is white. Charlie is young. White things are smart. All young, nice things are smart. If Bob is smart and Bob is nice then Bob is blue.
Anne is young.