Bob is blue. Bob is cold. Bob is furry. Bob is not green. Bob is kind. Bob is quiet. Bob is not red. Erin is blue. Erin is not furry. Erin is quiet. If something is green and cold then it is red. If something is furry and not cold then it is quiet. If something is furry and not kind then it is not quiet.
Erin is not red.
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2)] Bob is furry.[(triple3)] Bob is kind.[(triple5)] Bob is not green.[(triple4)] Bob is not red.[(triple7)] Bob is quiet.[(triple6)] Erin is blue.[(triple8)] Erin is not furry.[(triple9)] Erin is quiet.[(triple10)]