Harry is blue. Harry is green. Harry is rough. If Harry is kind and Harry is young then Harry is nice. Young, smart things are nice. If something is young then it is rough. All smart things are kind. All nice, blue things are kind. If Harry is nice then Harry is kind. All kind, nice things are smart. If Harry is green then Harry is nice.
Harry is not kind.
@0: Harry is blue.[(triple1)] Harry is green.[(triple2)] Harry is rough.[(triple3)] @1: Harry is nice.[(((triple2) -> rule8))] @2: Harry is kind.[(((((triple2) -> rule8)) -> rule6) OR ((((triple2) -> rule8) triple1) -> rule5))] @3: Harry is smart.[(((((((triple2) -> rule8)) -> rule6) ((triple2) -> rule8)) -> rule7) OR ((((((triple2) -> rule8) triple1) -> rule5) ((triple2) -> rule8)) -> rule7))]