Charlie is not rough. Erin is young. Fiona is cold. Harry is not nice. All cold, nice things are rough. If something is green then it is nice. All white things are not nice. All cold things are not kind. If something is rough and not kind then it is not young. If something is white and not rough then it is not young.
Charlie is young.
@0: Charlie is not rough.[(triple1)] Erin is young.[(triple2)] Fiona is cold.[(triple3)] Harry is not nice.[(triple4)] @1: Fiona is not kind.[(((triple3) -> rule4))]