Anne is nice. Bob is nice. Charlie is green. Gary is nice. All nice things are blue. If something is cold and nice then it is rough. Young things are cold. If Charlie is young then Charlie is green. All blue things are green. If Charlie is rough then Charlie is cold.
Gary is blue.
@0: Anne is nice.[(triple1)] Bob is nice.[(triple2)] Charlie is green.[(triple3)] Gary is nice.[(triple4)] @1: Anne is blue.[(((triple1) -> rule1))] Bob is blue.[(((triple2) -> rule1))] Gary is blue.[(((triple4) -> rule1))] @2: Anne is green.[(((((triple1) -> rule1)) -> rule5))] Bob is green.[(((((triple2) -> rule1)) -> rule5))] Gary is green.[(((((triple4) -> rule1)) -> rule5))]