Bob is big. Bob is kind. Bob is white. Dave is nice. Dave is young. Erin is smart. Harry is kind. All white, young things are red.
Erin is big.
@0: Bob is big.[(triple1)] Bob is kind.[(triple2)] Bob is white.[(triple3)] Dave is nice.[(triple4)] Dave is young.[(triple5)] Erin is smart.[(triple6)] Harry is kind.[(triple7)]