Gary is nice. Big, kind things are nice. All nice things are furry. If Gary is nice and Gary is kind then Gary is blue. If Gary is furry and Gary is white then Gary is rough. All furry, kind things are nice. If Gary is blue then Gary is furry.
Gary is not nice.
@0: Gary is nice.[(triple1)] @1: Gary is furry.[(((triple1) -> rule2))]