Bob is not big. Bob is not blue. Bob is cold. Bob is not furry. Bob is green. Bob is red. Bob is rough. Charlie is big. Charlie is blue. Charlie is not red. Charlie is not rough. Erin is not big. Erin is blue. Erin is cold. Erin is furry. Erin is green. If Erin is not blue then Erin is rough. If something is furry and not red then it is big.
Erin is red.
@0: Bob is cold.[(triple3)] Bob is green.[(triple5)] Bob is not big.[(triple1)] Bob is not blue.[(triple2)] Bob is not furry.[(triple4)] Bob is red.[(triple6)] Bob is rough.[(triple7)] Charlie is big.[(triple8)] Charlie is blue.[(triple9)] Charlie is not red.[(triple10)] Charlie is not rough.[(triple11)] Erin is blue.[(triple13)] Erin is cold.[(triple14)] Erin is furry.[(triple15)] Erin is green.[(triple16)] Erin is not big.[(triple12)]