Anne is not smart. Gary is smart. If someone is smart then they are blue. Smart people are blue. All quiet people are blue. If someone is white then they are not quiet. All kind, smart people are not quiet. If someone is blue then they are kind. If Gary is quiet then Gary is kind. If Anne is not smart then Anne is rough.
Gary is not kind.
@0: Anne is not smart.[(triple1)] Gary is smart.[(triple2)] @1: Anne is rough.[(((triple1) -> rule8))] Gary is blue.[(((triple2) -> rule1) OR ((triple2) -> rule2))] @2: Gary is kind.[(((((triple2) -> rule1)) -> rule6) OR ((((triple2) -> rule2)) -> rule6))] @3: Gary is not quiet.[(((((((triple2) -> rule1)) -> rule6) triple2) -> rule5) OR ((((((triple2) -> rule2)) -> rule6) triple2) -> rule5))]