Erin is not blue. Erin is green. Erin is not kind. Erin is rough. Fiona is blue. Fiona is green. Fiona is kind. Fiona is rough. Fiona is young. Gary is not blue. Gary is not furry. Gary is green. Gary is kind. Gary is rough. Gary is not smart. Gary is young. All kind, blue people are not furry.
Gary is young.
@0: Erin is green.[(triple2)] Erin is not blue.[(triple1)] Erin is not kind.[(triple3)] Erin is rough.[(triple4)] Fiona is blue.[(triple5)] Fiona is green.[(triple6)] Fiona is kind.[(triple7)] Fiona is rough.[(triple8)] Fiona is young.[(triple9)] Gary is green.[(triple12)] Gary is kind.[(triple13)] Gary is not blue.[(triple10)] Gary is not furry.[(triple11)] Gary is not smart.[(triple15)] Gary is rough.[(triple14)] Gary is young.[(triple16)] @1: Fiona is not furry.[(((triple7 triple5) -> rule1))]