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 cold.
@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)]