Anne is furry. Anne is smart. Anne is young. Charlie is blue. Charlie is not nice. Charlie is smart. Gary is blue. All smart, green things are furry. If something is smart then it is green. All furry things are white.
Gary is not white.
@0: Anne is furry.[(triple1 OR ((triple2 ((triple2) -> rule2)) -> rule1))] Anne is smart.[(triple2)] Anne is young.[(triple3)] Charlie is blue.[(triple4)] Charlie is not nice.[(triple5)] Charlie is smart.[(triple6)] Gary is blue.[(triple7)] @1: Anne is green.[(((triple2) -> rule2))] Anne is white.[(((triple1) -> rule3) OR ((((triple2 ((triple2) -> rule2)) -> rule1)) -> rule3))] Charlie is green.[(((triple6) -> rule2))] @2: Charlie is furry.[(((triple6 ((triple6) -> rule2)) -> rule1))] @3: Charlie is white.[(((((triple6 ((triple6) -> rule2)) -> rule1)) -> rule3))]