Dave is smart. Erin is smart. Harry is white. If someone is blue then they are white. All young people are smart.
Harry is white.
@0: Dave is smart.[(triple1)] Erin is smart.[(triple2)] Harry is white.[(triple3)]