Charlie is blue. Charlie is rough. Gary is young. Rough things are young. If something is blue and not white then it is rough. If something is kind and not rough then it is round.
Charlie is not blue.
@0: Charlie is blue.[(triple1)] Charlie is rough.[(triple2)] Gary is young.[(triple3)] @1: Charlie is young.[(((triple2) -> rule1))]