Dave is cold. Dave is red. Dave is round. Erin is quiet. Erin is round. Erin is smart. Erin is young. All young, red people are green.
Dave is not red.
@0: Dave is cold.[(triple1)] Dave is red.[(triple2)] Dave is round.[(triple3)] Erin is quiet.[(triple4)] Erin is round.[(triple5)] Erin is smart.[(triple6)] Erin is young.[(triple7)]