Anne is blue. Anne is furry. Dave is blue. Young things are nice. Young, quiet things are nice. If Dave is nice then Dave is smart. If Dave is smart and Dave is not quiet then Dave is big. If Anne is big then Anne is not young. If something is not nice then it is big.
Dave is smart.