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