Anne is blue. Dave is white. Gary is furry. All nice, round things are not quiet. Blue things are quiet. All blue things are white. All white things are nice. All furry things are nice. If Gary is blue then Gary is not round. If something is white and quiet then it is not round. If Dave is quiet and Dave is not furry then Dave is nice.
Dave is furry.
@0: Anne is blue.[(triple1)] Dave is white.[(triple2)] Gary is furry.[(triple3)] @1: Anne is quiet.[(((triple1) -> rule2))] Anne is white.[(((triple1) -> rule3))] Dave is nice.[(((triple2) -> rule4))] Gary is nice.[(((triple3) -> rule5))] @2: Anne is nice.[(((((triple1) -> rule3)) -> rule4))] Anne is not round.[(((((triple1) -> rule3) ((triple1) -> rule2)) -> rule7))]