Anne is red. Charlie is cold. Dave is cold. Green, young things are smart. If Charlie is quiet and Charlie is cold then Charlie is smart. Red things are smart. All quiet things are cold. Smart, rough things are green. All red things are cold. All cold things are rough. All young, rough things are smart.
Dave is not rough.