Dave is blue. Dave is cold. Dave is not furry. Dave is kind. Dave is rough. Dave is not white. Dave is young. Harry is blue. Harry is not cold. Harry is not furry. Harry is kind. Harry is rough. Cold people are blue.
Dave is cold.
@0: Dave is blue.[(triple1 OR ((triple2) -> rule1))] Dave is cold.[(triple2)] Dave is kind.[(triple4)] Dave is not furry.[(triple3)] Dave is not white.[(triple6)] Dave is rough.[(triple5)] Dave is young.[(triple7)] Harry is blue.[(triple8)] Harry is kind.[(triple11)] Harry is not cold.[(triple9)] Harry is not furry.[(triple10)] Harry is rough.[(triple12)]