Anne is red. Anne is rough. Dave is quiet. Dave is rough. Fiona is cold. Fiona is furry. Fiona is smart. Red things are kind. All smart things are rough. If Dave is cold then Dave is smart. Rough, red things are kind. All smart things are red. Rough things are smart. All red things are smart. All quiet, smart things are not furry.
Anne is not smart.