Anne is blue. Anne is cold. Anne is green. Anne is nice. Anne is smart. Anne is white. Dave is cold. Dave is white. Harry is nice. Harry is round. All blue, cold people are round. If someone is smart then they are nice.
Harry is smart.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Anne is green.[(triple3)] Anne is nice.[(triple4 OR ((triple5) -> rule2))] Anne is smart.[(triple5)] Anne is white.[(triple6)] Dave is cold.[(triple7)] Dave is white.[(triple8)] Harry is nice.[(triple9)] Harry is round.[(triple10)] @1: Anne is round.[(((triple1 triple2) -> rule1))]