Charlie is cold. Charlie is not furry. Charlie is not kind. Charlie is nice. Charlie is not red. Charlie is rough. Charlie is white. Dave is cold. Dave is furry. Dave is kind. Dave is nice. Dave is red. Dave is rough. Dave is not white. If someone is kind then they are furry. All cold people are nice.
Dave is nice.
@0: Charlie is cold.[(triple1)] Charlie is nice.[(triple4 OR ((triple1) -> rule2))] Charlie is not furry.[(triple2)] Charlie is not kind.[(triple3)] Charlie is not red.[(triple5)] Charlie is rough.[(triple6)] Charlie is white.[(triple7)] Dave is cold.[(triple8)] Dave is furry.[(triple9 OR ((triple10) -> rule1))] Dave is kind.[(triple10)] Dave is nice.[(triple11 OR ((triple8) -> rule2))] Dave is not white.[(triple14)] Dave is red.[(triple12)] Dave is rough.[(triple13)]