Anne is kind. Anne is smart. Gary is rough. Round things are rough. If Gary is smart and Gary is young then Gary is kind. Round things are kind. All rough, smart things are white. If Anne is kind and Anne is smart then Anne is white. If something is rough then it is white. If something is white and rough then it is smart. White, kind things are big.
Gary is not kind.
@0: Anne is kind.[(triple1)] Anne is smart.[(triple2)] Gary is rough.[(triple3)] @1: Anne is white.[(((triple1 triple2) -> rule5))] Gary is white.[(((triple3) -> rule6))] @2: Anne is big.[(((((triple1 triple2) -> rule5) triple1) -> rule8))] Gary is smart.[(((((triple3) -> rule6) triple3) -> rule7))]