Anne is blue. Anne is kind. Anne is nice. Anne is smart. Charlie is blue. Gary is furry. Harry is big. Kind things are blue. If Harry is smart and Harry is big then Harry is nice. If something is smart then it is nice.
Harry is not big.
@0: Anne is blue.[(triple1 OR ((triple2) -> rule1))] Anne is kind.[(triple2)] Anne is nice.[(triple3 OR ((triple4) -> rule3))] Anne is smart.[(triple4)] Charlie is blue.[(triple5)] Gary is furry.[(triple6)] Harry is big.[(triple7)]