Bob is smart. Charlie is smart. Erin is cold. Gary is blue. Cold things are blue. Blue things are quiet. If Gary is not quiet then Gary is green.
Charlie is not blue.
@0: Bob is smart.[(triple1)] Charlie is smart.[(triple2)] Erin is cold.[(triple3)] Gary is blue.[(triple4)] @1: Erin is blue.[(((triple3) -> rule1))] Gary is quiet.[(((triple4) -> rule2))] @2: Erin is quiet.[(((((triple3) -> rule1)) -> rule2))]