Dave is blue. Dave is not nice. Dave is not quiet. Harry is big. Harry is blue. Harry is not furry. Harry is nice. Harry is quiet. Harry is round. Harry is young. If someone is nice and not big then they are young.
Harry is nice.
@0: Dave is blue.[(triple1)] Dave is not nice.[(triple2)] Dave is not quiet.[(triple3)] Harry is big.[(triple4)] Harry is blue.[(triple5)] Harry is nice.[(triple7)] Harry is not furry.[(triple6)] Harry is quiet.[(triple8)] Harry is round.[(triple9)] Harry is young.[(triple10)]