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.
Bob is not red.
@0: Anne is smart.[(triple1)] Bob is red.[(triple2)] Dave is round.[(triple3)] Gary is blue.[(triple4)] @1: Bob is not quiet.[(((triple2) -> rule1))]