Anne is white. Harry is white. If Anne is blue and Anne is smart then Anne is kind. If Anne is white then Anne is smart. All big things are smart.
Anne is not red.
@0: Anne is white.[(triple1)] Harry is white.[(triple2)] @1: Anne is smart.[(((triple1) -> rule2))]