Bob is cold. Dave is young. Gary is furry. Young things are quiet. All nice things are quiet. If something is blue and nice then it is not cold. If Dave is furry then Dave is smart. If something is furry and not quiet then it is smart. All smart, young things are furry.
Gary is not smart.
@0: Bob is cold.[(triple1)] Dave is young.[(triple2)] Gary is furry.[(triple3)] @1: Dave is quiet.[(((triple2) -> rule1))]