Anne is quiet. Dave is big. Dave is green. Dave is quiet. Dave is rough. Gary is big. Gary is kind. Gary is quiet. Harry is quiet. Harry is rough. If Gary is blue and Gary is green then Gary is quiet. Quiet, blue people are kind.
Gary is not quiet.
@0: Anne is quiet.[(triple1)] Dave is big.[(triple2)] Dave is green.[(triple3)] Dave is quiet.[(triple4)] Dave is rough.[(triple5)] Gary is big.[(triple6)] Gary is kind.[(triple7)] Gary is quiet.[(triple8)] Harry is quiet.[(triple9)] Harry is rough.[(triple10)]