Anne is not big. Anne is green. Anne is red. Anne is not white. Bob is not furry. Bob is green. Bob is not red. Dave is big. Dave is blue. Harry is not big. Harry is blue. Harry is not green. If Dave is red and Dave is blue then Dave is green. If Anne is red and Anne is white then Anne is big. If Harry is big then Harry is not quiet.
Anne is white.
@0: Anne is green.[(triple2)] Anne is not big.[(triple1)] Anne is not white.[(triple4)] Anne is red.[(triple3)] Bob is green.[(triple6)] Bob is not furry.[(triple5)] Bob is not red.[(triple7)] Dave is big.[(triple8)] Dave is blue.[(triple9)] Harry is blue.[(triple11)] Harry is not big.[(triple10)] Harry is not green.[(triple12)]