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 smart.
@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)]