Bob is cold. Bob is furry. Bob is kind. Bob is nice. Bob is rough. Bob is white. Bob is young. Charlie is cold. Charlie is furry. Charlie is kind. Charlie is nice. Charlie is rough. Charlie is white. Charlie is young. If something is furry then it is kind.
Charlie is nice.
@0: Bob is cold.[(triple1)] Bob is furry.[(triple2)] Bob is kind.[(triple3 OR ((triple2) -> rule1))] Bob is nice.[(triple4)] Bob is rough.[(triple5)] Bob is white.[(triple6)] Bob is young.[(triple7)] Charlie is cold.[(triple8)] Charlie is furry.[(triple9)] Charlie is kind.[(triple10 OR ((triple9) -> rule1))] Charlie is nice.[(triple11)] Charlie is rough.[(triple12)] Charlie is white.[(triple13)] Charlie is young.[(triple14)]