Harry is red. All young things are smart. If Harry is smart then Harry is nice. Red things are young. If Harry is round and Harry is red then Harry is kind. If Harry is red then Harry is kind. If something is nice then it is kind.
Harry is smart.
@0: Harry is red.[(triple1)] @1: Harry is kind.[(((triple1) -> rule5) OR ((((((((triple1) -> rule3)) -> rule1)) -> rule2)) -> rule6))] Harry is young.[(((triple1) -> rule3))] @2: Harry is smart.[(((((triple1) -> rule3)) -> rule1))] @3: Harry is nice.[(((((((triple1) -> rule3)) -> rule1)) -> rule2))]