Charlie is smart. Dave is nice. Gary is not cold. All nice people are young.
Dave is blue.
@0: Charlie is smart.[(triple1)] Dave is nice.[(triple2)] Gary is not cold.[(triple3)] @1: Dave is young.[(((triple2) -> rule1))]