Anne is not cold. Anne is white. Bob is cold. Bob is furry. Bob is quiet. Bob is round. Bob is smart. Charlie is not big. Charlie is cold. Charlie is quiet. Charlie is round. Charlie is white. All big things are cold. If something is white and not round then it is quiet. If Bob is white and Bob is cold then Bob is not big.
Charlie is not white.
@0: Anne is not cold.[(triple1)] Anne is white.[(triple2)] Bob is cold.[(triple3)] Bob is furry.[(triple4)] Bob is quiet.[(triple5)] Bob is round.[(triple6)] Bob is smart.[(triple7)] Charlie is cold.[(triple9)] Charlie is not big.[(triple8)] Charlie is quiet.[(triple10)] Charlie is round.[(triple11)] Charlie is white.[(triple12)]