Dave is cold. Dave is furry. Dave is green. Dave is nice. Dave is red. Dave is rough. Dave is young. Harry is cold. Harry is furry. Harry is green. Harry is nice. Harry is red. Harry is rough. Harry is young. All rough, cold people are furry.
Harry is cold.
@0: Dave is cold.[(triple1)] Dave is furry.[(triple2 OR ((triple6 triple1) -> rule1))] Dave is green.[(triple3)] Dave is nice.[(triple4)] Dave is red.[(triple5)] Dave is rough.[(triple6)] Dave is young.[(triple7)] Harry is cold.[(triple8)] Harry is furry.[(triple9 OR ((triple13 triple8) -> rule1))] Harry is green.[(triple10)] Harry is nice.[(triple11)] Harry is red.[(triple12)] Harry is rough.[(triple13)] Harry is young.[(triple14)]