Erin is blue. Erin is furry. Erin is not green. Erin is not kind. Erin is red. Erin is young. Fiona is furry. Gary is blue. Gary is green. Gary is young. Green people are not kind.
Gary is kind.
@0: Erin is blue.[(triple1)] Erin is furry.[(triple2)] Erin is not green.[(triple3)] Erin is not kind.[(triple4)] Erin is red.[(triple5)] Erin is young.[(triple6)] Fiona is furry.[(triple7)] Gary is blue.[(triple8)] Gary is green.[(triple9)] Gary is young.[(triple10)] @1: Gary is not kind.[(((triple9) -> rule1))]