Bob is cold. Dave is cold. Dave is red. Dave is smart. Erin is big. Erin is cold. Erin is round. If Dave is round then Dave is young. Young, big things are red.
Dave is red.
@0: Bob is cold.[(triple1)] Dave is cold.[(triple2)] Dave is red.[(triple3)] Dave is smart.[(triple4)] Erin is big.[(triple5)] Erin is cold.[(triple6)] Erin is round.[(triple7)]