Bob is cold. Charlie is young. Dave is red. Erin is young. All cold, green things are furry. If Charlie is furry then Charlie is green. All green, red things are young.
Dave is not young.
@0: Bob is cold.[(triple1)] Charlie is young.[(triple2)] Dave is red.[(triple3)] Erin is young.[(triple4)]