Anne is red. Bob is round. Dave is nice. Harry is furry. Furry, smart people are blue. Blue, quiet people are furry. All furry, nice people are blue. Smart, blue people are round. If someone is quiet and blue then they are furry. All red, quiet people are blue.
Harry is not blue.
@0: Anne is red.[(triple1)] Bob is round.[(triple2)] Dave is nice.[(triple3)] Harry is furry.[(triple4)]