Bob is kind. Fiona is green. Gary is blue. Blue people are green. If someone is green and not kind then they are blue. If someone is young and not blue then they are not furry. Green people are furry. Red, green people are young. Kind, blue people are not young. If someone is furry then they are young. If Bob is furry and Bob is not green then Bob is not red.
Fiona is not blue.
@0: Bob is kind.[(triple1)] Fiona is green.[(triple2)] Gary is blue.[(triple3)] @1: Fiona is furry.[(((triple2) -> rule4))] Gary is green.[(((triple3) -> rule1))] @2: Fiona is young.[(((((triple2) -> rule4)) -> rule7))] Gary is furry.[(((((triple3) -> rule1)) -> rule4))] @3: Gary is young.[(((((((triple3) -> rule1)) -> rule4)) -> rule7))]