Erin is kind. Erin is red. Erin is rough. Erin is smart. Erin is not young. Gary is quiet. Gary is not red. Gary is rough. Gary is smart. Harry is quiet. Harry is red. Harry is young. If Harry is not round then Harry is red. If Harry is not smart then Harry is not round.
Erin is smart.