Bob is big. Bob is nice. Charlie is red. Erin is big. Gary is cold. Gary is nice. Gary is quiet. If Charlie is cold and Charlie is quiet then Charlie is nice. Big people are white. All quiet people are red. Quiet people are big. If someone is red and furry then they are nice. If Gary is big then Gary is red.
Gary is not nice.