Anne is big. Anne is nice. Anne is red. Anne is round. Anne is not smart. Anne is young. Bob is not big. Bob is blue. Bob is nice. Bob is red. Bob is round. Bob is young. Charlie is red. Charlie is round. Charlie is smart. Charlie is young. If something is smart and not red then it is nice. All young, big things are blue.
Bob is not smart.