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 not smart.
@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)]