Anne is green. Anne is quiet. Anne is white. Dave is big. Dave is not quiet. Dave is red. Dave is white. Gary is big. Gary is blue. Gary is green. Gary is not quiet. Gary is white. Harry is blue. Harry is not quiet. Harry is red. If something is young and not green then it is not big.
Dave is not green.
@0: Anne is green.[(triple1)] Anne is quiet.[(triple2)] Anne is white.[(triple3)] Dave is big.[(triple4)] Dave is not quiet.[(triple5)] Dave is red.[(triple6)] Dave is white.[(triple7)] Gary is big.[(triple8)] Gary is blue.[(triple9)] Gary is green.[(triple10)] Gary is not quiet.[(triple11)] Gary is white.[(triple12)] Harry is blue.[(triple13)] Harry is not quiet.[(triple14)] Harry is red.[(triple15)]