Bob is not big. Bob is cold. Bob is rough. Erin is big. Erin is not blue. Erin is cold. Erin is rough. Erin is smart. Fiona is furry. Fiona is green. Gary is blue. Gary is furry. If something is smart then it is rough. All green things are furry. If something is big then it is rough. If Bob is not cold then Bob is blue. If something is cold then it is green. If something is not cold and not blue then it is rough.
Fiona is blue.