Anne is young. Bob is round. Charlie is not blue. Charlie is red. Dave is blue. Dave is furry. Dave is round. All big, round people are not blue. If someone is big and not quiet then they are round.
Charlie is not red.
@0: Anne is young.[(triple1)] Bob is round.[(triple2)] Charlie is not blue.[(triple3)] Charlie is red.[(triple4)] Dave is blue.[(triple5)] Dave is furry.[(triple6)] Dave is round.[(triple7)]