Charlie is cold. Charlie is furry. Charlie is not nice. Charlie is quiet. Charlie is not red. Charlie is round. Charlie is smart. If Charlie is cold and Charlie is not furry then Charlie is round. If something is cold and not smart then it is round. If something is nice and not round then it is quiet.
Charlie is quiet.
@0: Charlie is cold.[(triple1)] Charlie is furry.[(triple2)] Charlie is not nice.[(triple3)] Charlie is not red.[(triple5)] Charlie is quiet.[(triple4)] Charlie is round.[(triple6)] Charlie is smart.[(triple7)]