Anne is young. Fiona is furry. Gary is white. Harry is rough. If someone is white and kind then they are cold. Cold, kind people are furry. All white people are young.
Gary is not white.
@0: Anne is young.[(triple1)] Fiona is furry.[(triple2)] Gary is white.[(triple3)] Harry is rough.[(triple4)] @1: Gary is young.[(((triple3) -> rule3))]