Charlie is big. Charlie is cold. Charlie is kind. Charlie is nice. Charlie is rough. Charlie is smart. Charlie is young. If Charlie is young then Charlie is rough.
Charlie is not kind.
@0: Charlie is big.[(triple1)] Charlie is cold.[(triple2)] Charlie is kind.[(triple3)] Charlie is nice.[(triple4)] Charlie is rough.[(triple5 OR ((triple7) -> rule1))] Charlie is smart.[(triple6)] Charlie is young.[(triple7)]