Charlie is rough. Charlie is round. Harry is cold. If Charlie is blue and Charlie is rough then Charlie is cold. If something is round and cold then it is quiet. Quiet, blue things are cold. All cold, round things are rough. If something is rough then it is green. If something is green and round then it is blue.
Harry is not quiet.
@0: Charlie is rough.[(triple1)] Charlie is round.[(triple2)] Harry is cold.[(triple3)] @1: Charlie is green.[(((triple1) -> rule5))] @2: Charlie is blue.[(((((triple1) -> rule5) triple2) -> rule6))] @3: Charlie is cold.[(((((((triple1) -> rule5) triple2) -> rule6) triple1) -> rule1))] @4: Charlie is quiet.[(((triple2 ((((((triple1) -> rule5) triple2) -> rule6) triple1) -> rule1)) -> rule2))]