Charlie is blue. Charlie is cold. Charlie is green. Charlie is smart. Charlie is white. Gary is not blue. Gary is cold. Gary is green. Gary is quiet. Gary is not white. All white people are cold. If Gary is rough then Gary is not quiet.
Gary is smart.
@0: Charlie is blue.[(triple1)] Charlie is cold.[(triple2 OR ((triple5) -> rule1))] Charlie is green.[(triple3)] Charlie is smart.[(triple4)] Charlie is white.[(triple5)] Gary is cold.[(triple7)] Gary is green.[(triple8)] Gary is not blue.[(triple6)] Gary is not white.[(triple10)] Gary is quiet.[(triple9)]