Charlie is nice. Dave is nice. Gary is rough. If Dave is nice then Dave is blue. Young, nice people are cold. Kind, smart people are rough.
Dave is not rough.
@0: Charlie is nice.[(triple1)] Dave is nice.[(triple2)] Gary is rough.[(triple3)] @1: Dave is blue.[(((triple2) -> rule1))]