Bob is round. Dave is cold. Erin is nice. All big things are green. If something is smart and big then it is not nice.
Erin is not nice.
@0: Bob is round.[(triple1)] Dave is cold.[(triple2)] Erin is nice.[(triple3)]