Anne is white. Bob is young. Erin is white. Gary is quiet. All furry things are green. Blue, young things are white. If Gary is green and Gary is young then Gary is white. All young, green things are blue. All young things are quiet. Furry, white things are blue. Blue things are young. If something is young and quiet then it is white.
Erin is white.
@0: Anne is white.[(triple1)] Bob is young.[(triple2)] Erin is white.[(triple3)] Gary is quiet.[(triple4)] @1: Bob is quiet.[(((triple2) -> rule5))] @2: Bob is white.[(((triple2 ((triple2) -> rule5)) -> rule8))]