Bob is big. Bob is not cold. Bob is not nice. Bob is smart. Charlie is not big. Charlie is cold. Charlie is furry. Charlie is nice. Charlie is smart. Charlie is white. Gary is big. Gary is blue. Gary is cold. Gary is furry. Gary is not smart. Gary is white. If someone is white and not cold then they are big. If Charlie is blue then Charlie is big. If Charlie is blue and Charlie is white then Charlie is big.
Gary is not blue.
@0: Bob is big.[(triple1)] Bob is not cold.[(triple2)] Bob is not nice.[(triple3)] Bob is smart.[(triple4)] Charlie is cold.[(triple6)] Charlie is furry.[(triple7)] Charlie is nice.[(triple8)] Charlie is not big.[(triple5)] Charlie is smart.[(triple9)] Charlie is white.[(triple10)] Gary is big.[(triple11)] Gary is blue.[(triple12)] Gary is cold.[(triple13)] Gary is furry.[(triple14)] Gary is not smart.[(triple15)] Gary is white.[(triple16)]