Charlie is nice. Fiona is blue. Fiona is white. If Charlie is quiet then Charlie is white. All quiet people are red. If someone is white and quiet then they are red.
Fiona is not white.
@0: Charlie is nice.[(triple1)] Fiona is blue.[(triple2)] Fiona is white.[(triple3)]