Charlie is blue. Charlie is cold. Charlie is green. Charlie is nice. Charlie is rough. Charlie is smart. Charlie is not white. Nice people are not white. If someone is green and not rough then they are not smart. All white people are green. All blue people are cold. Smart, nice people are cold. If someone is white and not green then they are blue.
Charlie is smart.
@0: Charlie is blue.[(triple1)] Charlie is cold.[(triple2 OR ((triple1) -> rule4) OR ((triple6 triple4) -> rule5))] Charlie is green.[(triple3)] Charlie is nice.[(triple4)] Charlie is not white.[(triple7 OR ((triple4) -> rule1))] Charlie is rough.[(triple5)] Charlie is smart.[(triple6)]