Anne is nice. Erin is green. Fiona is furry. Gary is cold. All white things are red. If something is white and cold then it is not red. If something is cold and not nice then it is red. All nice things are not young. Green things are white. If something is nice then it is green.
Fiona is green.
@0: Anne is nice.[(triple1)] Erin is green.[(triple2)] Fiona is furry.[(triple3)] Gary is cold.[(triple4)] @1: Anne is green.[(((triple1) -> rule6))] Anne is not young.[(((triple1) -> rule4))] Erin is white.[(((triple2) -> rule5))] @2: Anne is white.[(((((triple1) -> rule6)) -> rule5))] Erin is red.[(((((triple2) -> rule5)) -> rule1))] @3: Anne is red.[(((((((triple1) -> rule6)) -> rule5)) -> rule1))]