Anne is blue. Anne is kind. Anne is quiet. Anne is round. Dave is quiet. Gary is big. Gary is blue. Gary is young. Harry is not big. Harry is not red. Harry is round. Harry is young. All red things are young.
Gary is kind.
@0: Anne is blue.[(triple1)] Anne is kind.[(triple2)] Anne is quiet.[(triple3)] Anne is round.[(triple4)] Dave is quiet.[(triple5)] Gary is big.[(triple6)] Gary is blue.[(triple7)] Gary is young.[(triple8)] Harry is not big.[(triple9)] Harry is not red.[(triple10)] Harry is round.[(triple11)] Harry is young.[(triple12)]