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 not kind.
@0: Erin is white.[(triple1)] Gary is red.[(triple2)] @1: Gary is young.[(((triple2) -> rule1))]