Dave is nice. Erin is cold. Gary is rough. If Erin is young then Erin is nice. All cold, quiet people are kind. If Erin is nice and Erin is rough then Erin is kind. Cold people are quiet. If someone is nice then they are rough. If Gary is quiet and Gary is kind then Gary is rough.
Gary is not kind.
@0: Dave is nice.[(triple1)] Erin is cold.[(triple2)] Gary is rough.[(triple3)] @1: Dave is rough.[(((triple1) -> rule5))] Erin is quiet.[(((triple2) -> rule4))] @2: Erin is kind.[(((triple2 ((triple2) -> rule4)) -> rule2))]