Charlie is kind. Charlie is quiet. Charlie is red. Charlie is rough. Charlie is round. Dave is green. Dave is kind. Dave is quiet. Dave is rough. Dave is round. Fiona is green. Fiona is kind. Fiona is quiet. Fiona is red. Fiona is rough. Fiona is round. If someone is furry and not green then they are not quiet. All furry people are red. If someone is quiet and not round then they are rough.
Dave is not red.
@0: Charlie is kind.[(triple1)] Charlie is quiet.[(triple2)] Charlie is red.[(triple3)] Charlie is rough.[(triple4)] Charlie is round.[(triple5)] Dave is green.[(triple6)] Dave is kind.[(triple7)] Dave is quiet.[(triple8)] Dave is rough.[(triple9)] Dave is round.[(triple10)] Fiona is green.[(triple11)] Fiona is kind.[(triple12)] Fiona is quiet.[(triple13)] Fiona is red.[(triple14)] Fiona is rough.[(triple15)] Fiona is round.[(triple16)]