Anne is big. Anne is red. Anne is white. Bob is blue. Harry is big. Harry is blue. Harry is young. If something is red and not young then it is blue.
Anne is not blue.
@0: Anne is big.[(triple1)] Anne is red.[(triple2)] Anne is white.[(triple3)] Bob is blue.[(triple4)] Harry is big.[(triple5)] Harry is blue.[(triple6)] Harry is young.[(triple7)]