Anne is cold. Anne is kind. Anne is red. Anne is rough. Fiona is cold. Harry is blue. Harry is cold. Harry is furry. Harry is kind. Harry is red. Harry is rough. Harry is smart. If someone is rough and furry then they are cold. If Anne is rough then Anne is red.
Fiona is kind.
@0: Anne is cold.[(triple1)] Anne is kind.[(triple2)] Anne is red.[(triple3 OR ((triple4) -> rule2))] Anne is rough.[(triple4)] Fiona is cold.[(triple5)] Harry is blue.[(triple6)] Harry is cold.[(triple7 OR ((triple11 triple8) -> rule1))] Harry is furry.[(triple8)] Harry is kind.[(triple9)] Harry is red.[(triple10)] Harry is rough.[(triple11)] Harry is smart.[(triple12)]