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