Charlie is blue. Charlie is cold. Charlie is green. Charlie is kind. Charlie is nice. Charlie is rough. Charlie is smart. Nice, rough people are green.
Charlie is green.
@0: Charlie is blue.[(triple1)] Charlie is cold.[(triple2)] Charlie is green.[(triple3 OR ((triple5 triple6) -> rule1))] Charlie is kind.[(triple4)] Charlie is nice.[(triple5)] Charlie is rough.[(triple6)] Charlie is smart.[(triple7)]