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