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.
Gary is not rough.
@0: Charlie is blue.[(triple1)] Charlie is rough.[(triple2)] Gary is young.[(triple3)] @1: Charlie is young.[(((triple2) -> rule1))]