Charlie is furry. Dave is young. Erin is not furry. Erin is white. Gary is not furry. Gary is kind. Gary is white. If someone is furry and rough then they are kind. If someone is young and rough then they are kind. If someone is white and not furry then they are not green. If Erin is not kind then Erin is not green. If someone is green then they are blue. All furry, white people are blue.
Charlie is not blue.
@0: Charlie is furry.[(triple1)] Dave is young.[(triple2)] Erin is not furry.[(triple3)] Erin is white.[(triple4)] Gary is kind.[(triple6)] Gary is not furry.[(triple5)] Gary is white.[(triple7)] @1: Erin is not green.[(((triple4 triple3) -> rule3))] Gary is not green.[(((triple7 triple5) -> rule3))]