Anne is nice. Harry is cold. Smart people are quiet. Nice people are smart. Red, blue people are smart. All smart, red people are blue. All big people are quiet. If Harry is big and Harry is blue then Harry is red. Smart, big people are nice. If Anne is smart then Anne is cold.
Harry is not blue.
@0: Anne is nice.[(triple1)] Harry is cold.[(triple2)] @1: Anne is smart.[(((triple1) -> rule2))] @2: Anne is cold.[(((((triple1) -> rule2)) -> rule8))] Anne is quiet.[(((((triple1) -> rule2)) -> rule1))]