Anne is young. Charlie is smart. Fiona is kind. Gary is kind. If something is green and furry then it is young. All young things are white. If Charlie is kind then Charlie is cold.
Charlie is not young.
@0: Anne is young.[(triple1)] Charlie is smart.[(triple2)] Fiona is kind.[(triple3)] Gary is kind.[(triple4)] @1: Anne is white.[(((triple1) -> rule2))]