Anne is nice. Anne is quiet. Anne is not smart. Charlie is big. Charlie is cold. Charlie is quiet. Charlie is smart. Dave is nice. Harry is red. Harry is not smart. If Charlie is big then Charlie is quiet.
Harry is not cold.