Anne is blue. Anne is quiet. Anne is rough. Anne is not smart. Bob is quiet. Bob is not round. Bob is not white. Gary is white. Harry is quiet. Harry is rough. Harry is not round. Harry is smart. If Harry is smart and Harry is kind then Harry is not quiet. If Harry is white then Harry is rough. Rough things are quiet. If something is blue and quiet then it is not round. If something is round and not white then it is smart. If Gary is kind and Gary is not quiet then Gary is smart.
Bob is not smart.
@0: Anne is blue.[(triple1)] Anne is not smart.[(triple4)] Anne is quiet.[(triple2 OR ((triple3) -> rule3))] Anne is rough.[(triple3)] Bob is not round.[(triple6)] Bob is not white.[(triple7)] Bob is quiet.[(triple5)] Gary is white.[(triple8)] Harry is not round.[(triple11)] Harry is quiet.[(triple9 OR ((triple10) -> rule3))] Harry is rough.[(triple10)] Harry is smart.[(triple12)] @1: Anne is not round.[(((triple1 triple2) -> rule4) OR ((triple1 ((triple3) -> rule3)) -> rule4))]