Anne is green. Bob is furry. Bob is green. Charlie is big. Charlie is furry. Erin is big. Erin is blue. Erin is furry. Erin is green. Erin is quiet. If Charlie is not green then Charlie is blue.
Anne is furry.
@0: Anne is green.[(triple1)] Bob is furry.[(triple2)] Bob is green.[(triple3)] Charlie is big.[(triple4)] Charlie is furry.[(triple5)] Erin is big.[(triple6)] Erin is blue.[(triple7)] Erin is furry.[(triple8)] Erin is green.[(triple9)] Erin is quiet.[(triple10)]