Anne is kind. Anne is quiet. Anne is white. Charlie is smart. Gary is kind. Harry is quiet. Harry is rough. If Gary is red then Gary is rough. Rough, red things are kind. Rough, smart things are nice. All nice things are white. If something is nice then it is rough. White, kind things are rough. All rough things are smart. If Harry is nice and Harry is not smart then Harry is quiet.
Charlie is not rough.
@0: Anne is kind.[(triple1)] Anne is quiet.[(triple2)] Anne is white.[(triple3)] Charlie is smart.[(triple4)] Gary is kind.[(triple5)] Harry is quiet.[(triple6)] Harry is rough.[(triple7)] @1: Anne is rough.[(((triple3 triple1) -> rule6))] Harry is smart.[(((triple7) -> rule7))] @2: Anne is smart.[(((((triple3 triple1) -> rule6)) -> rule7))] Harry is nice.[(((triple7 ((triple7) -> rule7)) -> rule3))] @3: Anne is nice.[(((((triple3 triple1) -> rule6) ((((triple3 triple1) -> rule6)) -> rule7)) -> rule3))] Harry is white.[(((((triple7 ((triple7) -> rule7)) -> rule3)) -> rule4))]