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 not blue.
@0: Bob is young.[(triple1)] Dave is young.[(triple2)] Erin is round.[(triple3)]