Charlie is furry. Charlie is quiet. Charlie is red. Dave is nice. Dave is quiet. Dave is red. Erin is cold. Erin is nice. Erin is quiet. Erin is red. If Dave is young then Dave is white.
Dave is cold.
@0: Charlie is furry.[(triple1)] Charlie is quiet.[(triple2)] Charlie is red.[(triple3)] Dave is nice.[(triple4)] Dave is quiet.[(triple5)] Dave is red.[(triple6)] Erin is cold.[(triple7)] Erin is nice.[(triple8)] Erin is quiet.[(triple9)] Erin is red.[(triple10)]