Anne is big. Anne is red. Bob is big. Bob is quiet. Bob is rough. Bob is smart. Gary is not big. Gary is rough. Gary is smart. Harry is nice. If something is not big then it is nice.
Harry is not smart.