Dave is blue. Dave is red. Gary is blue. If Dave is quiet then Dave is not red. Quiet, smart people are red. If Dave is quiet and Dave is red then Dave is not kind. All round, furry people are blue. If Dave is not quiet then Dave is not smart. If someone is furry and not round then they are smart. All furry people are kind. If Dave is red and Dave is smart then Dave is not blue.
Gary is not blue.
@0: Dave is blue.[(triple1)] Dave is red.[(triple2)] Gary is blue.[(triple3)]