Anne is quiet. Anne is white. Bob is smart. All young people are cold. If someone is smart then they are rough. Blue, white people are young. If someone is white and rough then they are blue. If someone is smart and white then they are quiet. Smart people are cold. All quiet, cold people are young. If someone is quiet then they are rough.
Bob is not young.
@0: Anne is quiet.[(triple1)] Anne is white.[(triple2)] Bob is smart.[(triple3)] @1: Anne is rough.[(((triple1) -> rule8))] Bob is cold.[(((triple3) -> rule6))] Bob is rough.[(((triple3) -> rule2))] @2: Anne is blue.[(((triple2 ((triple1) -> rule8)) -> rule4))] @3: Anne is young.[(((((triple2 ((triple1) -> rule8)) -> rule4) triple2) -> rule3))] @4: Anne is cold.[(((((((triple2 ((triple1) -> rule8)) -> rule4) triple2) -> rule3)) -> rule1))]