Anne is blue. Anne is quiet. Anne is white. Bob is big. Bob is red. Bob is rough. Erin is blue. Erin is kind. Erin is quiet. Fiona is white. Quiet, rough things are blue. If Anne is quiet and Anne is kind then Anne is red. If something is blue then it is big. Big things are rough. If Bob is big and Bob is white then Bob is rough. All red, rough things are white. All big, rough things are kind. White things are rough.
Erin is not white.