Anne is blue. Bob is green. Charlie is not blue. Gary is smart. If Bob is not blue then Bob is green. If someone is blue and smart then they are furry. If someone is nice and not furry then they are not cold.
Anne is not blue.
@0: Anne is blue.[(triple1)] Bob is green.[(triple2)] Charlie is not blue.[(triple3)] Gary is smart.[(triple4)]