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.
Harry is white.
@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)]