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