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