Anne is not cold. Anne is kind. Anne is nice. Anne is red. Anne is not rough. Harry is cold. Harry is green. Harry is kind. Harry is not nice. Harry is red. Harry is rough. Harry is white. Cold things are green. If Harry is green and Harry is white then Harry is kind.
Anne is red.
@0: Anne is kind.[(triple2)] Anne is nice.[(triple3)] Anne is not cold.[(triple1)] Anne is not rough.[(triple5)] Anne is red.[(triple4)] Harry is cold.[(triple6)] Harry is green.[(triple7 OR ((triple6) -> rule1))] Harry is kind.[(triple8 OR ((triple7 triple12) -> rule2) OR ((((triple6) -> rule1) triple12) -> rule2))] Harry is not nice.[(triple9)] Harry is red.[(triple10)] Harry is rough.[(triple11)] Harry is white.[(triple12)]