Anne is blue. Red people are kind. All blue people are furry. If Anne is blue then Anne is red. Kind people are smart. Round people are blue. All smart, blue people are round.
Anne is red.
@0: Anne is blue.[(triple1)] @1: Anne is furry.[(((triple1) -> rule2))] Anne is red.[(((triple1) -> rule3))] @2: Anne is kind.[(((((triple1) -> rule3)) -> rule1))] @3: Anne is smart.[(((((((triple1) -> rule3)) -> rule1)) -> rule4))] @4: Anne is round.[(((((((((triple1) -> rule3)) -> rule1)) -> rule4) triple1) -> rule6))]