Charlie is not big. Charlie is furry. Charlie is red. Charlie is not smart. Erin is not blue. Erin is green. Erin is quiet. Fiona is big. Fiona is furry. Fiona is not green. Fiona is not red. Fiona is smart. Blue people are green.
Erin is not green.
@0: Charlie is furry.[(triple2)] Charlie is not big.[(triple1)] Charlie is not smart.[(triple4)] Charlie is red.[(triple3)] Erin is green.[(triple6)] Erin is not blue.[(triple5)] Erin is quiet.[(triple7)] Fiona is big.[(triple8)] Fiona is furry.[(triple9)] Fiona is not green.[(triple10)] Fiona is not red.[(triple11)] Fiona is smart.[(triple12)]