Anne is cold. Erin is green. Fiona is blue. Gary is red. All young things are green. Blue, smart things are red. If something is kind then it is young. All kind, smart things are young. Cold things are kind. If Anne is young then Anne is blue.
Fiona is cold.
@0: Anne is cold.[(triple1)] Erin is green.[(triple2)] Fiona is blue.[(triple3)] Gary is red.[(triple4)] @1: Anne is kind.[(((triple1) -> rule5))] @2: Anne is young.[(((((triple1) -> rule5)) -> rule3))] @3: Anne is blue.[(((((((triple1) -> rule5)) -> rule3)) -> rule6))] Anne is green.[(((((((triple1) -> rule5)) -> rule3)) -> rule1))]