Bob is quiet. Bob is red. Charlie is blue. Charlie is furry. Charlie is quiet. Dave is big. Dave is blue. Dave is round. Harry is furry. Harry is quiet. Harry is red. Harry is smart. All blue, red things are big.
Dave is not big.
@0: Bob is quiet.[(triple1)] Bob is red.[(triple2)] Charlie is blue.[(triple3)] Charlie is furry.[(triple4)] Charlie is quiet.[(triple5)] Dave is big.[(triple6)] Dave is blue.[(triple7)] Dave is round.[(triple8)] Harry is furry.[(triple9)] Harry is quiet.[(triple10)] Harry is red.[(triple11)] Harry is smart.[(triple12)]