Anne is cold. Anne is furry. Anne is nice. Anne is red. Anne is rough. Anne is not smart. Anne is young. Dave is cold. Dave is furry. Dave is nice. Dave is not young. Harry is furry. Harry is nice. Harry is not rough. Harry is young. If someone is red then they are furry.
Dave is not smart.
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2 OR ((triple4) -> rule1))] Anne is nice.[(triple3)] Anne is not smart.[(triple6)] Anne is red.[(triple4)] Anne is rough.[(triple5)] Anne is young.[(triple7)] Dave is cold.[(triple8)] Dave is furry.[(triple9)] Dave is nice.[(triple10)] Dave is not young.[(triple11)] Harry is furry.[(triple12)] Harry is nice.[(triple13)] Harry is not rough.[(triple14)] Harry is young.[(triple15)]