Charlie is blue. Charlie is cold. Charlie is nice. Charlie is red. Charlie is rough. Charlie is white. Charlie is young. All blue, red things are cold.
Charlie is not white.
@0: Charlie is blue.[(triple1)] Charlie is cold.[(triple2 OR ((triple1 triple4) -> rule1))] Charlie is nice.[(triple3)] Charlie is red.[(triple4)] Charlie is rough.[(triple5)] Charlie is white.[(triple6)] Charlie is young.[(triple7)]