Bob is cold. Bob is furry. Bob is green. Bob is kind. Bob is nice. Bob is rough. Bob is white. Charlie is cold. Charlie is furry. Charlie is green. Charlie is kind. Charlie is nice. Charlie is rough. Charlie is white. If something is green then it is rough. Nice, white things are rough. Rough things are furry.
Charlie is not white.
@0: Bob is cold.[(triple1)] Bob is furry.[(triple2 OR ((triple6) -> rule3) OR ((((triple3) -> rule1)) -> rule3) OR ((((triple5 triple7) -> rule2)) -> rule3))] Bob is green.[(triple3)] Bob is kind.[(triple4)] Bob is nice.[(triple5)] Bob is rough.[(triple6 OR ((triple3) -> rule1) OR ((triple5 triple7) -> rule2))] Bob is white.[(triple7)] Charlie is cold.[(triple8)] Charlie is furry.[(triple9 OR ((triple13) -> rule3) OR ((((triple10) -> rule1)) -> rule3) OR ((((triple12 triple14) -> rule2)) -> rule3))] Charlie is green.[(triple10)] Charlie is kind.[(triple11)] Charlie is nice.[(triple12)] Charlie is rough.[(triple13 OR ((triple10) -> rule1) OR ((triple12 triple14) -> rule2))] Charlie is white.[(triple14)]