Anne is nice. Dave is kind. Fiona is cold. All cold, green people are white. If someone is white and blue then they are green. If Anne is cold and Anne is blue then Anne is kind. All green, rough people are nice. If someone is rough then they are nice. Blue people are green.
Dave is not white.
@0: Anne is nice.[(triple1)] Dave is kind.[(triple2)] Fiona is cold.[(triple3)]