Charlie is kind. Dave is kind. Erin is rough. Harry is rough. If someone is kind then they are young. Red, blue people are young. If Erin is blue then Erin is smart. All smart, red people are rough. If Charlie is cold then Charlie is young. If Harry is smart then Harry is rough.
Erin is rough.
@0: Charlie is kind.[(triple1)] Dave is kind.[(triple2)] Erin is rough.[(triple3)] Harry is rough.[(triple4)] @1: Charlie is young.[(((triple1) -> rule1))] Dave is young.[(((triple2) -> rule1))]