Bob is not big. Bob is cold. Bob is nice. Charlie is big. Charlie is cold. Charlie is nice. Charlie is red. Charlie is smart. Charlie is white. Dave is big. Dave is nice. Dave is round. If someone is red and not cold then they are not smart. All white, round people are smart.
Charlie is cold.
@0: Bob is cold.[(triple2)] Bob is nice.[(triple3)] Bob is not big.[(triple1)] Charlie is big.[(triple4)] Charlie is cold.[(triple5)] Charlie is nice.[(triple6)] Charlie is red.[(triple7)] Charlie is smart.[(triple8)] Charlie is white.[(triple9)] Dave is big.[(triple10)] Dave is nice.[(triple11)] Dave is round.[(triple12)]