Anne is blue. Anne is cold. Anne is furry. Anne is white. Bob is big. Bob is furry. Bob is not nice. Red things are furry. If something is white and not nice then it is blue.
Anne is not blue.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Anne is furry.[(triple3)] Anne is white.[(triple4)] Bob is big.[(triple5)] Bob is furry.[(triple6)] Bob is not nice.[(triple7)]