Dave is round. Gary is cold. Gary is nice. If someone is cold and quiet then they are nice. Red, round people are quiet. If someone is furry then they are red. Furry, nice people are red. If someone is red and round then they are nice. Round people are quiet.
Gary is not quiet.
@0: Dave is round.[(triple1)] Gary is cold.[(triple2)] Gary is nice.[(triple3)] @1: Dave is quiet.[(((triple1) -> rule6))]