Harry is round. If something is big and round then it is green. If Harry is round then Harry is cold. All round, young things are big. If something is round then it is young. All smart, big things are round. If Harry is furry then Harry is smart. If Harry is young and Harry is round then Harry is cold. If something is smart then it is young.
Harry is not smart.
@0: Harry is round.[(triple1)] @1: Harry is cold.[(((triple1) -> rule2) OR ((((triple1) -> rule4) triple1) -> rule7))] Harry is young.[(((triple1) -> rule4))] @2: Harry is big.[(((triple1 ((triple1) -> rule4)) -> rule3))] @3: Harry is green.[(((((triple1 ((triple1) -> rule4)) -> rule3) triple1) -> rule1))]