Anne is green. Dave is white. Fiona is smart. Harry is not blue. If someone is furry then they are smart.
Fiona is not smart.
@0: Anne is green.[(triple1)] Dave is white.[(triple2)] Fiona is smart.[(triple3)] Harry is not blue.[(triple4)]