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