Anne is furry. Anne is round. Bob is blue. Bob is furry. Bob is not round. Bob is not smart. Bob is white. Round people are blue. Blue people are not cold. Furry, round people are smart.
Bob is furry.
@0: Anne is furry.[(triple1)] Anne is round.[(triple2)] Bob is blue.[(triple3)] Bob is furry.[(triple4)] Bob is not round.[(triple5)] Bob is not smart.[(triple6)] Bob is white.[(triple7)] @1: Anne is blue.[(((triple2) -> rule1))] Anne is smart.[(((triple1 triple2) -> rule3))] Bob is not cold.[(((triple3) -> rule2))] @2: Anne is not cold.[(((((triple2) -> rule1)) -> rule2))]