Anne is white. Bob is not big. Bob is furry. Bob is kind. Bob is quiet. Bob is not red. Charlie is not round. Erin is quiet. Erin is round. Erin is not white. If someone is kind and red then they are white. If Charlie is white then Charlie is red.
Bob is not big.
@0: Anne is white.[(triple1)] Bob is furry.[(triple3)] Bob is kind.[(triple4)] Bob is not big.[(triple2)] Bob is not red.[(triple6)] Bob is quiet.[(triple5)] Charlie is not round.[(triple7)] Erin is not white.[(triple10)] Erin is quiet.[(triple8)] Erin is round.[(triple9)]