Bob is smart. Dave is blue. Erin is not blue. Harry is blue. All young people are rough. If someone is young and not nice then they are green.
Dave is smart.
@0: Bob is smart.[(triple1)] Dave is blue.[(triple2)] Erin is not blue.[(triple3)] Harry is blue.[(triple4)]