Harry is furry. Harry is nice. Harry is smart. Furry, nice things are blue. If Harry is green and Harry is red then Harry is blue. Blue, green things are nice. If something is nice and kind then it is furry. If something is blue then it is green. If something is nice then it is kind.
Harry is not smart.
@0: Harry is furry.[(triple1 OR ((triple2 ((triple2) -> rule6)) -> rule4))] Harry is nice.[(triple2)] Harry is smart.[(triple3)] @1: Harry is blue.[(((triple1 triple2) -> rule1) OR ((((triple2 ((triple2) -> rule6)) -> rule4) triple2) -> rule1))] Harry is kind.[(((triple2) -> rule6))] @2: Harry is green.[(((((triple1 triple2) -> rule1)) -> rule5) OR ((((((triple2 ((triple2) -> rule6)) -> rule4) triple2) -> rule1)) -> rule5))]