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