Charlie is rough. Erin is round. Fiona is cold. Gary is rough. All round people are kind. All smart, kind people are cold. All blue, kind people are rough.
Erin is not kind.
@0: Charlie is rough.[(triple1)] Erin is round.[(triple2)] Fiona is cold.[(triple3)] Gary is rough.[(triple4)] @1: Erin is kind.[(((triple2) -> rule1))]