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.
Charlie is young.
@0: Bob is cold.[(triple1)] Charlie is young.[(triple2)] Dave is red.[(triple3)] Erin is young.[(triple4)]