Bob is nice. Charlie is nice. Dave is green. Fiona is red. If someone is smart then they are nice. If someone is smart and green then they are red.
Dave is green.
@0: Bob is nice.[(triple1)] Charlie is nice.[(triple2)] Dave is green.[(triple3)] Fiona is red.[(triple4)]