Anne is red. Anne is smart. Harry is red. If something is quiet and smart then it is rough. All nice, rough things are quiet. All red, smart things are quiet. Rough, nice things are green. If Anne is green then Anne is quiet. If something is nice and rough then it is red. If Harry is quiet then Harry is rough. If something is smart and rough then it is red.
Harry is smart.
@0: Anne is red.[(triple1)] Anne is smart.[(triple2)] Harry is red.[(triple3)] @1: Anne is quiet.[(((triple1 triple2) -> rule3))] @2: Anne is rough.[(((((triple1 triple2) -> rule3) triple2) -> rule1))]