Charlie is big. Charlie is blue. Charlie is furry. Charlie is round. Charlie is not smart. Charlie is white. Dave is not cold. Dave is furry. Dave is round. Dave is smart. Erin is big. Erin is round. Cold people are round. If Erin is white then Erin is not furry. If someone is furry and not big then they are white.
Erin is smart.
@0: Charlie is big.[(triple1)] Charlie is blue.[(triple2)] Charlie is furry.[(triple3)] Charlie is not smart.[(triple5)] Charlie is round.[(triple4)] Charlie is white.[(triple6)] Dave is furry.[(triple8)] Dave is not cold.[(triple7)] Dave is round.[(triple9)] Dave is smart.[(triple10)] Erin is big.[(triple11)] Erin is round.[(triple12)]