Bob is not cold. Bob is furry. Bob is not nice. Bob is quiet. Bob is red. Bob is white. Bob is not young. Charlie is cold. Charlie is furry. Charlie is not nice. Charlie is quiet. Charlie is red. Charlie is white. Charlie is not young. Erin is cold. Erin is not nice. If Erin is furry then Erin is white. If someone is nice then they are not young. If someone is nice and not furry then they are quiet.
Charlie is not furry.
@0: Bob is furry.[(triple2)] Bob is not cold.[(triple1)] Bob is not nice.[(triple3)] Bob is not young.[(triple7)] Bob is quiet.[(triple4)] Bob is red.[(triple5)] Bob is white.[(triple6)] Charlie is cold.[(triple8)] Charlie is furry.[(triple9)] Charlie is not nice.[(triple10)] Charlie is not young.[(triple14)] Charlie is quiet.[(triple11)] Charlie is red.[(triple12)] Charlie is white.[(triple13)] Erin is cold.[(triple15)] Erin is not nice.[(triple16)]