Charlie is blue. Charlie is kind. Charlie is rough. Charlie is not smart. Charlie is white. Gary is blue. Gary is cold. Gary is not kind. Gary is not smart. Gary is white. If something is blue and not smart then it is cold. If something is rough and not smart then it is white.
Charlie is not rough.
@0: Charlie is blue.[(triple1)] Charlie is kind.[(triple2)] Charlie is not smart.[(triple4)] Charlie is rough.[(triple3)] Charlie is white.[(triple5 OR ((triple3 triple4) -> rule2))] Gary is blue.[(triple6)] Gary is cold.[(triple7 OR ((triple6 triple9) -> rule1))] Gary is not kind.[(triple8)] Gary is not smart.[(triple9)] Gary is white.[(triple10)] @1: Charlie is cold.[(((triple1 triple4) -> rule1))]