Charlie is blue. Charlie is cold. Charlie is green. Charlie is kind. Charlie is rough. Charlie is white. Charlie is young. If something is blue then it is cold. If Charlie is blue then Charlie is rough.
Charlie is green.
@0: Charlie is blue.[(triple1)] Charlie is cold.[(triple2 OR ((triple1) -> rule1))] Charlie is green.[(triple3)] Charlie is kind.[(triple4)] Charlie is rough.[(triple5 OR ((triple1) -> rule2))] Charlie is white.[(triple6)] Charlie is young.[(triple7)]