Anne is quiet. Charlie is red. Gary is red. Harry is nice. All blue people are smart. Red people are blue. Smart people are rough. Quiet, blue people are rough. White, red people are quiet. If Gary is red and Gary is white then Gary is blue.
Anne is rough.
@0: Anne is quiet.[(triple1)] Charlie is red.[(triple2)] Gary is red.[(triple3)] Harry is nice.[(triple4)] @1: Charlie is blue.[(((triple2) -> rule2))] Gary is blue.[(((triple3) -> rule2))] @2: Charlie is smart.[(((((triple2) -> rule2)) -> rule1))] Gary is smart.[(((((triple3) -> rule2)) -> rule1))] @3: Charlie is rough.[(((((((triple2) -> rule2)) -> rule1)) -> rule3))] Gary is rough.[(((((((triple3) -> rule2)) -> rule1)) -> rule3))]