Bob is cold. Bob is furry. Bob is rough. Bob is young. Dave is blue. Dave is cold. Dave is furry. Dave is not red. Dave is rough. Dave is white. Dave is young. Harry is cold. Harry is not furry. Harry is rough. Harry is not young. White things are cold. If Harry is white then Harry is cold.
Dave is not blue.
@0: Bob is cold.[(triple1)] Bob is furry.[(triple2)] Bob is rough.[(triple3)] Bob is young.[(triple4)] Dave is blue.[(triple5)] Dave is cold.[(triple6 OR ((triple10) -> rule1))] Dave is furry.[(triple7)] Dave is not red.[(triple8)] Dave is rough.[(triple9)] Dave is white.[(triple10)] Dave is young.[(triple11)] Harry is cold.[(triple12)] Harry is not furry.[(triple13)] Harry is not young.[(triple15)] Harry is rough.[(triple14)]