Dave is not nice. Dave is quiet. Dave is not red. Dave is smart. Fiona is not nice. Fiona is red. Fiona is rough. Fiona is not smart. Fiona is white. Harry is quiet. Harry is round. Harry is white. If someone is quiet and not round then they are smart. All smart people are white.
Fiona is not rough.