Bob is big. Dave is rough. Erin is nice. Harry is smart. If Dave is big then Dave is red.
Erin is not nice.
@0: Bob is big.[(triple1)] Dave is rough.[(triple2)] Erin is nice.[(triple3)] Harry is smart.[(triple4)]