Bob is big. Bob is smart. Bob is young. Charlie is big. Charlie is round. Gary is big. Gary is cold. Gary is smart. Gary is white. Gary is young. If something is cold and not big then it is not smart. If something is green then it is round.
Gary is not round.
@0: Bob is big.[(triple1)] Bob is smart.[(triple2)] Bob is young.[(triple3)] Charlie is big.[(triple4)] Charlie is round.[(triple5)] Gary is big.[(triple6)] Gary is cold.[(triple7)] Gary is smart.[(triple8)] Gary is white.[(triple9)] Gary is young.[(triple10)]