Bob is not big. Bob is smart. Bob is not young. Charlie is big. Charlie is blue. Charlie is furry. Charlie is green. Charlie is smart. Charlie is white. Charlie is young. Gary is big. Gary is not blue. Gary is green. Gary is not smart. Gary is young. If Bob is not white then Bob is furry.
Charlie is not smart.
@0: Bob is not big.[(triple1)] Bob is not young.[(triple3)] Bob is smart.[(triple2)] Charlie is big.[(triple4)] Charlie is blue.[(triple5)] Charlie is furry.[(triple6)] Charlie is green.[(triple7)] Charlie is smart.[(triple8)] Charlie is white.[(triple9)] Charlie is young.[(triple10)] Gary is big.[(triple11)] Gary is green.[(triple13)] Gary is not blue.[(triple12)] Gary is not smart.[(triple14)] Gary is young.[(triple15)]