Anne is quiet. Dave is big. Gary is cold. Harry is quiet. All quiet things are white. All quiet things are big. Big things are cold. If something is cold then it is rough. If Anne is green then Anne is quiet. If something is cold then it is white.
Harry is round.
@0: Anne is quiet.[(triple1)] Dave is big.[(triple2)] Gary is cold.[(triple3)] Harry is quiet.[(triple4)] @1: Anne is big.[(((triple1) -> rule2))] Anne is white.[(((triple1) -> rule1) OR ((((((triple1) -> rule2)) -> rule3)) -> rule6))] Dave is cold.[(((triple2) -> rule3))] Gary is rough.[(((triple3) -> rule4))] Gary is white.[(((triple3) -> rule6))] Harry is big.[(((triple4) -> rule2))] Harry is white.[(((triple4) -> rule1) OR ((((((triple4) -> rule2)) -> rule3)) -> rule6))] @2: Anne is cold.[(((((triple1) -> rule2)) -> rule3))] Dave is rough.[(((((triple2) -> rule3)) -> rule4))] Dave is white.[(((((triple2) -> rule3)) -> rule6))] Harry is cold.[(((((triple4) -> rule2)) -> rule3))] @3: Anne is rough.[(((((((triple1) -> rule2)) -> rule3)) -> rule4))] Harry is rough.[(((((((triple4) -> rule2)) -> rule3)) -> rule4))]