Anne is nice. Charlie is big. Charlie is green. Charlie is not nice. Charlie is white. Dave is nice. Dave is quiet. Harry is nice. Harry is quiet. Harry is round. If something is nice and not green then it is furry. If something is round and not quiet then it is not furry.
Dave is not quiet.
@0: Anne is nice.[(triple1)] Charlie is big.[(triple2)] Charlie is green.[(triple3)] Charlie is not nice.[(triple4)] Charlie is white.[(triple5)] Dave is nice.[(triple6)] Dave is quiet.[(triple7)] Harry is nice.[(triple8)] Harry is quiet.[(triple9)] Harry is round.[(triple10)]