Anne is blue. Anne is cold. Anne is furry. Anne is green. Anne is rough. Harry is big. Harry is blue. Harry is cold. Harry is furry. Harry is green. Harry is rough. Harry is smart. If something is blue then it is cold.
Anne is big.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2 OR ((triple1) -> rule1))] Anne is furry.[(triple3)] Anne is green.[(triple4)] Anne is rough.[(triple5)] Harry is big.[(triple6)] Harry is blue.[(triple7)] Harry is cold.[(triple8 OR ((triple7) -> rule1))] Harry is furry.[(triple9)] Harry is green.[(triple10)] Harry is rough.[(triple11)] Harry is smart.[(triple12)]