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