Erin is big. Erin is cold. Erin is rough. Erin is smart. Gary is not big. Gary is cold. Gary is furry. Gary is red. Gary is not rough. Gary is not smart. If Gary is rough and Gary is cold then Gary is not furry.
Gary is not rough.