Erin is smart. Fiona is blue. Fiona is smart. If someone is green and not blue then they are white. White, green people are not big. White people are green.
Fiona is not white.
@0: Erin is smart.[(triple1)] Fiona is blue.[(triple2)] Fiona is smart.[(triple3)]