Anne is blue. Anne is cold. Anne is kind. Anne is nice. Anne is red. Anne is round. Anne is smart. Smart people are round. If Anne is round then Anne is smart. Round people are cold.
Anne is round.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2 OR ((triple6) -> rule3) OR ((((triple7) -> rule1)) -> rule3))] Anne is kind.[(triple3)] Anne is nice.[(triple4)] Anne is red.[(triple5)] Anne is round.[(triple6 OR ((triple7) -> rule1))] Anne is smart.[(triple7 OR ((triple6) -> rule2))]