Charlie is young. Erin is nice. Gary is rough. Harry is smart. Rough things are nice.
Charlie is smart.
@0: Charlie is young.[(triple1)] Erin is nice.[(triple2)] Gary is rough.[(triple3)] Harry is smart.[(triple4)] @1: Gary is nice.[(((triple3) -> rule1))]