Erin is white. Gary is red. If something is red then it is young. If something is nice then it is kind. All big things are kind.
Gary is young.
@0: Erin is white.[(triple1)] Gary is red.[(triple2)] @1: Gary is young.[(((triple2) -> rule1))]