Anne is white. Charlie is quiet. Gary is young. Harry is blue. If something is smart and white then it is blue. All blue things are quiet. All furry, green things are blue. If something is smart then it is furry. If Anne is white then Anne is smart. Young, green things are blue. If Charlie is green and Charlie is young then Charlie is quiet. If something is blue then it is green.
Gary is not blue.
@0: Anne is white.[(triple1)] Charlie is quiet.[(triple2)] Gary is young.[(triple3)] Harry is blue.[(triple4)] @1: Anne is smart.[(((triple1) -> rule5))] Harry is green.[(((triple4) -> rule8))] Harry is quiet.[(((triple4) -> rule2))] @2: Anne is blue.[(((((triple1) -> rule5) triple1) -> rule1))] Anne is furry.[(((((triple1) -> rule5)) -> rule4))] @3: Anne is green.[(((((((triple1) -> rule5) triple1) -> rule1)) -> rule8))] Anne is quiet.[(((((((triple1) -> rule5) triple1) -> rule1)) -> rule2))]