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.
Fiona is not red.
@0: Bob is nice.[(triple1)] Charlie is nice.[(triple2)] Dave is green.[(triple3)] Fiona is red.[(triple4)]