Anne is blue. Anne is cold. Anne is furry. Anne is quiet. Anne is red. Anne is rough. Anne is smart. All quiet things are cold. All red things are smart. Quiet things are rough. All smart things are red. Rough things are quiet. Furry things are rough.
Anne is smart.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2 OR ((triple4) -> rule1) OR ((((triple6) -> rule5)) -> rule1) OR ((((((triple3) -> rule6)) -> rule5)) -> rule1))] Anne is furry.[(triple3)] Anne is quiet.[(triple4 OR ((triple6) -> rule5) OR ((((triple3) -> rule6)) -> rule5))] Anne is red.[(triple5 OR ((triple7) -> rule4))] Anne is rough.[(triple6 OR ((triple3) -> rule6) OR ((triple4) -> rule3))] Anne is smart.[(triple7 OR ((triple5) -> rule2))]