Dave is round. Gary is green. Gary is kind. If Dave is green and Dave is round then Dave is not furry. Green people are furry. If someone is green and not white then they are quiet.
Gary is not kind.
@0: Dave is round.[(triple1)] Gary is green.[(triple2)] Gary is kind.[(triple3)] @1: Gary is furry.[(((triple2) -> rule2))]