Charlie is cold. Charlie is rough. Dave is big. Dave is kind. Gary is cold. Gary is kind. Gary is quiet. If someone is kind then they are rough.
Gary is kind.
@0: Charlie is cold.[(triple1)] Charlie is rough.[(triple2)] Dave is big.[(triple3)] Dave is kind.[(triple4)] Gary is cold.[(triple5)] Gary is kind.[(triple6)] Gary is quiet.[(triple7)] @1: Dave is rough.[(((triple4) -> rule1))] Gary is rough.[(((triple6) -> rule1))]