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