Anne is blue. Anne is nice. Harry is blue. Harry is not furry. Harry is green. Harry is not red. Harry is rough. Red people are cold. All rough people are cold. If someone is furry and green then they are rough. If Harry is green then Harry is cold. If someone is blue and not cold then they are nice. Cold people are nice. All cold people are nice. If someone is blue then they are nice.
Anne is red.
@0: Anne is blue.[(triple1)] Anne is nice.[(triple2 OR ((triple1) -> rule8))] Harry is blue.[(triple3)] Harry is green.[(triple5)] Harry is not furry.[(triple4)] Harry is not red.[(triple6)] Harry is rough.[(triple7)] @1: Harry is cold.[(((triple5) -> rule4) OR ((triple7) -> rule2))] Harry is nice.[(((triple3) -> rule8) OR ((((triple5) -> rule4)) -> rule6) OR ((((triple5) -> rule4)) -> rule7) OR ((((triple7) -> rule2)) -> rule6) OR ((((triple7) -> rule2)) -> rule7))]