Bob is cold. Bob is green. Bob is smart. Bob is white. Charlie is cold. Charlie is green. Charlie is kind. Charlie is rough. Charlie is smart. Charlie is white. Dave is kind. Dave is rough. If something is green and smart then it is white. If Bob is smart then Bob is white. Cold, green things are white. If something is rough then it is smart. If Dave is white then Dave is green. Smart, cold things are rough.
Bob is kind.
@0: Bob is cold.[(triple1)] Bob is green.[(triple2)] Bob is smart.[(triple3)] Bob is white.[(triple4 OR ((triple3) -> rule2) OR ((triple1 triple2) -> rule3) OR ((triple2 triple3) -> rule1))] Charlie is cold.[(triple5)] Charlie is green.[(triple6)] Charlie is kind.[(triple7)] Charlie is rough.[(triple8 OR ((triple9 triple5) -> rule6))] Charlie is smart.[(triple9 OR ((triple8) -> rule4))] Charlie is white.[(triple10 OR ((triple5 triple6) -> rule3) OR ((triple6 triple9) -> rule1) OR ((triple6 ((triple8) -> rule4)) -> rule1))] Dave is kind.[(triple11)] Dave is rough.[(triple12)] @1: Bob is rough.[(((triple3 triple1) -> rule6))] Dave is smart.[(((triple12) -> rule4))]