Bob is big. Bob is kind. Erin is red. Fiona is kind. Gary is red. Gary is smart. Gary is white. All rough things are white. If something is smart and white then it is blue. All red things are blue. If something is kind and blue then it is big. Kind, red things are white. If Bob is smart then Bob is blue.
Erin is not blue.