Dave is blue. Erin is nice. Gary is quiet. Harry is rough. All rough things are blue. Young, rough things are cold. All blue, rough things are green. If something is green and rough then it is blue. Blue things are rough. Blue, rough things are young.
Dave is not nice.
@0: Dave is blue.[(triple1)] Erin is nice.[(triple2)] Gary is quiet.[(triple3)] Harry is rough.[(triple4)] @1: Dave is rough.[(((triple1) -> rule5))] Harry is blue.[(((triple4) -> rule1))] @2: Dave is green.[(((triple1 ((triple1) -> rule5)) -> rule3))] Dave is young.[(((triple1 ((triple1) -> rule5)) -> rule6))] Harry is green.[(((((triple4) -> rule1) triple4) -> rule3))] Harry is young.[(((((triple4) -> rule1) triple4) -> rule6))] @3: Dave is cold.[(((((triple1 ((triple1) -> rule5)) -> rule6) ((triple1) -> rule5)) -> rule2))] Harry is cold.[(((((((triple4) -> rule1) triple4) -> rule6) triple4) -> rule2))]