Anne is cold. Anne is green. Anne is smart. Anne is white. Charlie is furry. Charlie is quiet. Charlie is smart. Charlie is white. Fiona is quiet. Gary is white. All white people are smart. If someone is smart and white then they are furry.
Gary is cold.
@0: Anne is cold.[(triple1)] Anne is green.[(triple2)] Anne is smart.[(triple3 OR ((triple4) -> rule1))] Anne is white.[(triple4)] Charlie is furry.[(triple5 OR ((triple7 triple8) -> rule2) OR ((((triple8) -> rule1) triple8) -> rule2))] Charlie is quiet.[(triple6)] Charlie is smart.[(triple7 OR ((triple8) -> rule1))] Charlie is white.[(triple8)] Fiona is quiet.[(triple9)] Gary is white.[(triple10)] @1: Anne is furry.[(((triple3 triple4) -> rule2) OR ((((triple4) -> rule1) triple4) -> rule2))] Gary is smart.[(((triple10) -> rule1))] @2: Gary is furry.[(((((triple10) -> rule1) triple10) -> rule2))]