Anne is smart. Bob is red. Dave is round. Gary is blue. Red people are not quiet. If someone is furry and blue then they are round. All white, red people are smart.
Gary is blue.
@0: Anne is smart.[(triple1)] Bob is red.[(triple2)] Dave is round.[(triple3)] Gary is blue.[(triple4)] @1: Bob is not quiet.[(((triple2) -> rule1))]