Erin is smart. Gary is not cold. Harry is blue. If something is smart then it is rough.
Erin is smart.
@0: Erin is smart.[(triple1)] Gary is not cold.[(triple2)] Harry is blue.[(triple3)] @1: Erin is rough.[(((triple1) -> rule1))]