Bob is white. Dave is rough. Erin is smart. Harry is smart. If Dave is young and Dave is red then Dave is rough. If Harry is smart and Harry is red then Harry is rough. If someone is quiet and smart then they are kind.
Dave is rough.
@0: Bob is white.[(triple1)] Dave is rough.[(triple2)] Erin is smart.[(triple3)] Harry is smart.[(triple4)]