Bob is smart. Dave is furry. Erin is green. Harry is blue. If something is round and smart then it is not green. Red, quiet things are green. If Dave is not furry then Dave is red.
Harry is smart.
@0: Bob is smart.[(triple1)] Dave is furry.[(triple2)] Erin is green.[(triple3)] Harry is blue.[(triple4)]