Anne is nice. Anne is quiet. Bob is nice. Bob is quiet. Bob is young. Dave is blue. Dave is nice. Harry is nice. Harry is red. Harry is young. If Harry is big then Harry is young. All young, quiet people are big.
Harry is not nice.