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