Gary is blue. Gary is furry. Gary is young. All quiet people are furry. If Gary is blue then Gary is nice. Quiet people are kind.
Gary is not kind.
@0: Gary is blue.[(triple1)] Gary is furry.[(triple2)] Gary is young.[(triple3)] @1: Gary is nice.[(((triple1) -> rule2))]