Dave is young. Gary is blue. Cold people are blue. If Gary is cold and Gary is nice then Gary is young. If someone is blue then they are big.
Dave is nice.
@0: Dave is young.[(triple1)] Gary is blue.[(triple2)] @1: Gary is big.[(((triple2) -> rule3))]