Bob is blue. Bob is cold. Bob is green. Bob is not red. Bob is rough. Bob is not round. Charlie is blue. Charlie is green. Erin is blue. Erin is red. Erin is not rough. Erin is round. If Charlie is rough and Charlie is furry then Charlie is round. All furry, round people are blue. If Charlie is not rough and Charlie is not cold then Charlie is green. If someone is rough and not cold then they are furry. If Bob is not furry then Bob is not blue. If someone is round and not furry then they are red.
Bob is not green.
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2)] Bob is green.[(triple3)] Bob is not red.[(triple4)] Bob is not round.[(triple6)] Bob is rough.[(triple5)] Charlie is blue.[(triple7)] Charlie is green.[(triple8)] Erin is blue.[(triple9)] Erin is not rough.[(triple11)] Erin is red.[(triple10)] Erin is round.[(triple12)]