Erin is red. Erin is young. Gary is young. If someone is young then they are kind. All young, red people are not rough.
Gary is red.
@0: Erin is red.[(triple1)] Erin is young.[(triple2)] Gary is young.[(triple3)] @1: Erin is kind.[(((triple2) -> rule1))] Erin is not rough.[(((triple2 triple1) -> rule2))] Gary is kind.[(((triple3) -> rule1))]