Anne is nice. Gary is red. Gary is smart. Gary is not young. Harry is not cold. Harry is red. Harry is young. If Harry is red then Harry is nice. Smart people are big. If someone is not nice and not red then they are smart.
Harry is big.