Bob is young. Dave is young. Erin is round. If someone is cold and round then they are blue. If Dave is round then Dave is white.
Bob is red.
@0: Bob is young.[(triple1)] Dave is young.[(triple2)] Erin is round.[(triple3)]