Dave is not quiet. Fiona is quiet. Gary is rough. Smart things are young. All furry things are smart. If something is smart and not young then it is rough. Rough things are white. If something is young and not furry then it is kind. All furry, white things are kind. If Fiona is quiet and Fiona is not white then Fiona is kind. Rough, kind things are quiet.
Gary is not kind.
@0: Dave is not quiet.[(triple1)] Fiona is quiet.[(triple2)] Gary is rough.[(triple3)] @1: Gary is white.[(((triple3) -> rule4))]