Anne is white. Harry is rough. All white people are cold. Red, white people are cold. All cold, white people are quiet. Rough, white people are red. All kind, red people are quiet. Kind people are cold. All cold people are rough. If Harry is kind and Harry is white then Harry is quiet.
Anne is green.
@0: Anne is white.[(triple1)] Harry is rough.[(triple2)] @1: Anne is cold.[(((triple1) -> rule1))] @2: Anne is quiet.[(((((triple1) -> rule1) triple1) -> rule3))] Anne is rough.[(((((triple1) -> rule1)) -> rule7))] @3: Anne is red.[(((((((triple1) -> rule1)) -> rule7) triple1) -> rule4))]