Harry is blue. Harry is kind. Harry is young. If something is young and not big then it is smart. All cold, blue things are kind. If Harry is blue and Harry is white then Harry is not smart. If something is kind and not big then it is cold. All young things are white. All smart things are blue. Kind things are blue. Smart things are young.
Harry is not young.
@0: Harry is blue.[(triple1 OR ((triple2) -> rule7))] Harry is kind.[(triple2)] Harry is young.[(triple3)] @1: Harry is white.[(((triple3) -> rule5))] @2: Harry is not smart.[(((triple1 ((triple3) -> rule5)) -> rule3) OR ((((triple2) -> rule7) ((triple3) -> rule5)) -> rule3))]