Erin is rough. Gary is smart. Harry is kind. All rough people are kind.
Erin is rough.
@0: Erin is rough.[(triple1)] Gary is smart.[(triple2)] Harry is kind.[(triple3)] @1: Erin is kind.[(((triple1) -> rule1))]