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