Charlie is big. Charlie is furry. Charlie is green. Charlie is quiet. Charlie is not round. Dave is blue. Dave is cold. Dave is furry. Dave is green. Dave is quiet. Fiona is big. Fiona is cold. Fiona is furry. Fiona is green. Fiona is round. If Charlie is round then Charlie is blue. If something is green and not blue then it is big.
Dave is not big.
@0: Charlie is big.[(triple1)] Charlie is furry.[(triple2)] Charlie is green.[(triple3)] Charlie is not round.[(triple5)] Charlie is quiet.[(triple4)] Dave is blue.[(triple6)] Dave is cold.[(triple7)] Dave is furry.[(triple8)] Dave is green.[(triple9)] Dave is quiet.[(triple10)] Fiona is big.[(triple11)] Fiona is cold.[(triple12)] Fiona is furry.[(triple13)] Fiona is green.[(triple14)] Fiona is round.[(triple15)]