Anne is rough. Bob is smart. Gary is white. Harry is furry. All white, rough things are blue. Rough, kind things are white. Furry, white things are not green. All furry things are not rough. If Gary is kind then Gary is white. If something is rough then it is kind. If Anne is rough and Anne is blue then Anne is smart. If Harry is green and Harry is not white then Harry is smart.
Anne is white.
@0: Anne is rough.[(triple1)] Bob is smart.[(triple2)] Gary is white.[(triple3)] Harry is furry.[(triple4)] @1: Anne is kind.[(((triple1) -> rule6))] Harry is not rough.[(((triple4) -> rule4))] @2: Anne is white.[(((triple1 ((triple1) -> rule6)) -> rule2))] @3: Anne is blue.[(((((triple1 ((triple1) -> rule6)) -> rule2) triple1) -> rule1))] @4: Anne is smart.[(((triple1 ((((triple1 ((triple1) -> rule6)) -> rule2) triple1) -> rule1)) -> rule7))]