Bob is big. Bob is not furry. Bob is green. Bob is quiet. Bob is not red. Bob is round. Bob is smart. Charlie is big. Charlie is furry. Charlie is green. Charlie is quiet. Charlie is red. Charlie is round. Charlie is smart. If someone is smart and not round then they are furry. If someone is smart and not quiet then they are furry.
Bob is quiet.
@0: Bob is big.[(triple1)] Bob is green.[(triple3)] Bob is not furry.[(triple2)] Bob is not red.[(triple5)] Bob is quiet.[(triple4)] Bob is round.[(triple6)] Bob is smart.[(triple7)] Charlie is big.[(triple8)] Charlie is furry.[(triple9)] Charlie is green.[(triple10)] Charlie is quiet.[(triple11)] Charlie is red.[(triple12)] Charlie is round.[(triple13)] Charlie is smart.[(triple14)]