Anne is round. Charlie is white. Dave is rough. Harry is cold. If something is cold then it is round. Quiet things are white. If something is smart and white then it is nice. Rough things are cold. All quiet things are round. All round things are white.
Anne is smart.
@0: Anne is round.[(triple1)] Charlie is white.[(triple2)] Dave is rough.[(triple3)] Harry is cold.[(triple4)] @1: Anne is white.[(((triple1) -> rule6))] Dave is cold.[(((triple3) -> rule4))] Harry is round.[(((triple4) -> rule1))] @2: Dave is round.[(((((triple3) -> rule4)) -> rule1))] Harry is white.[(((((triple4) -> rule1)) -> rule6))] @3: Dave is white.[(((((((triple3) -> rule4)) -> rule1)) -> rule6))]