Anne is cold. Anne is round. Charlie is cold. Dave is cold. Dave is rough. Harry is cold. Harry is quiet. Quiet, white things are rough. Cold things are rough. If Dave is young and Dave is rough then Dave is round. All rough, quiet things are white. All quiet things are young. All white things are round. If something is white and not cold then it is round. All young, white things are not smart.
Anne is white.
@0: Anne is cold.[(triple1)] Anne is round.[(triple2)] Charlie is cold.[(triple3)] Dave is cold.[(triple4)] Dave is rough.[(triple5 OR ((triple4) -> rule2))] Harry is cold.[(triple6)] Harry is quiet.[(triple7)] @1: Anne is rough.[(((triple1) -> rule2))] Charlie is rough.[(((triple3) -> rule2))] Harry is rough.[(((triple6) -> rule2))] Harry is young.[(((triple7) -> rule5))] @2: Harry is white.[(((((triple6) -> rule2) triple7) -> rule4))] @3: Harry is not smart.[(((((triple7) -> rule5) ((((triple6) -> rule2) triple7) -> rule4)) -> rule8))] Harry is round.[(((((((triple6) -> rule2) triple7) -> rule4)) -> rule6))]