Anne is red. Charlie is rough. Gary is big. If something is kind then it is rough. If something is kind then it is rough. If Charlie is smart then Charlie is kind. All red things are smart. If Gary is red then Gary is not smart. Smart, red things are not kind. If something is smart and not nice then it is red. Rough, kind things are big.
Gary is furry.
@0: Anne is red.[(triple1)] Charlie is rough.[(triple2)] Gary is big.[(triple3)] @1: Anne is smart.[(((triple1) -> rule4))] @2: Anne is not kind.[(((((triple1) -> rule4) triple1) -> rule6))]