Anne is blue. Anne is cold. Anne is furry. Anne is nice. Charlie is big. Charlie is blue. Charlie is cold. Charlie is furry. Charlie is nice. Charlie is quiet. Harry is kind. Harry is quiet. If something is blue and nice then it is furry. If Harry is big then Harry is furry. Furry, kind things are big.
Anne is not blue.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Anne is furry.[(triple3 OR ((triple1 triple4) -> rule1))] Anne is nice.[(triple4)] Charlie is big.[(triple5)] Charlie is blue.[(triple6)] Charlie is cold.[(triple7)] Charlie is furry.[(triple8 OR ((triple6 triple9) -> rule1))] Charlie is nice.[(triple9)] Charlie is quiet.[(triple10)] Harry is kind.[(triple11)] Harry is quiet.[(triple12)]