Bob is cold. Bob is furry. Bob is nice. Bob is red. Bob is round. Bob is smart. Bob is white. Charlie is cold. Charlie is furry. Charlie is nice. Charlie is red. Charlie is round. Charlie is smart. Charlie is white. All white, smart things are furry. Furry, smart things are white. If Bob is cold then Bob is white.
Bob is not cold.
@0: Bob is cold.[(triple1)] Bob is furry.[(triple2 OR ((triple7 triple6) -> rule1) OR ((((triple1) -> rule3) triple6) -> rule1))] Bob is nice.[(triple3)] Bob is red.[(triple4)] Bob is round.[(triple5)] Bob is smart.[(triple6)] Bob is white.[(triple7 OR ((triple1) -> rule3) OR ((triple2 triple6) -> rule2))] Charlie is cold.[(triple8)] Charlie is furry.[(triple9 OR ((triple14 triple13) -> rule1))] Charlie is nice.[(triple10)] Charlie is red.[(triple11)] Charlie is round.[(triple12)] Charlie is smart.[(triple13)] Charlie is white.[(triple14 OR ((triple9 triple13) -> rule2))]