Anne is big. Anne is blue. Anne is cold. Anne is green. Anne is kind. Anne is nice. Bob is blue. Bob is green. Bob is kind. Bob is nice. Harry is big. Harry is cold. If Harry is smart and Harry is cold then Harry is green. All green, big people are kind. If someone is cold then they are smart.
Harry is kind.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is cold.[(triple3)] Anne is green.[(triple4)] Anne is kind.[(triple5 OR ((triple4 triple1) -> rule2))] Anne is nice.[(triple6)] Bob is blue.[(triple7)] Bob is green.[(triple8)] Bob is kind.[(triple9)] Bob is nice.[(triple10)] Harry is big.[(triple11)] Harry is cold.[(triple12)] @1: Anne is smart.[(((triple3) -> rule3))] Harry is smart.[(((triple12) -> rule3))] @2: Harry is green.[(((((triple12) -> rule3) triple12) -> rule1))] @3: Harry is kind.[(((((((triple12) -> rule3) triple12) -> rule1) triple11) -> rule2))]