Charlie is blue. Charlie is cold. Charlie is furry. Charlie is nice. Erin is green. Erin is smart. Fiona is round. If someone is smart and not round then they are cold. If someone is blue and green then they are not nice. If Charlie is round then Charlie is cold.
Erin is not cold.
@0: Charlie is blue.[(triple1)] Charlie is cold.[(triple2)] Charlie is furry.[(triple3)] Charlie is nice.[(triple4)] Erin is green.[(triple5)] Erin is smart.[(triple6)] Fiona is round.[(triple7)]