Anne is big. Charlie is kind. Harry is nice. If something is rough then it is white. Smart, nice things are kind. If something is rough then it is big. All smart, rough things are big. Smart, big things are nice. White things are nice. Nice things are smart. If something is smart and round then it is white.
Anne is not kind.
@0: Anne is big.[(triple1)] Charlie is kind.[(triple2)] Harry is nice.[(triple3)] @1: Harry is smart.[(((triple3) -> rule7))] @2: Harry is kind.[(((((triple3) -> rule7) triple3) -> rule2))]