Bob is green. Bob is kind. Bob is rough. Erin is big. Erin is kind. Erin is white. Fiona is white. Gary is big. Gary is green. Gary is kind. Gary is red. Gary is white. All green, rough things are big. If something is big and kind then it is red. Rough things are big. Red things are green. Smart things are red. All big, smart things are red.
Gary is not kind.