Dave is big. Dave is blue. Dave is green. Dave is kind. Dave is quiet. Dave is young. Harry is not big. Harry is blue. Harry is kind. Harry is quiet. Harry is not round. Harry is young. If Dave is not big and Dave is not round then Dave is quiet.
Harry is not green.
@0: Dave is big.[(triple1)] Dave is blue.[(triple2)] Dave is green.[(triple3)] Dave is kind.[(triple4)] Dave is quiet.[(triple5)] Dave is young.[(triple6)] Harry is blue.[(triple8)] Harry is kind.[(triple9)] Harry is not big.[(triple7)] Harry is not round.[(triple11)] Harry is quiet.[(triple10)] Harry is young.[(triple12)]