Bob is cold. Bob is not green. Bob is nice. Bob is red. Charlie is big. Charlie is cold. Charlie is red. Charlie is white. Charlie is young. Erin is big. Erin is cold. Erin is green. Erin is nice. Erin is red. Erin is white. Erin is young. If something is big and not white then it is cold.
Bob is not red.
@0: Bob is cold.[(triple1)] Bob is nice.[(triple3)] Bob is not green.[(triple2)] Bob is red.[(triple4)] Charlie is big.[(triple5)] Charlie is cold.[(triple6)] Charlie is red.[(triple7)] Charlie is white.[(triple8)] Charlie is young.[(triple9)] Erin is big.[(triple10)] Erin is cold.[(triple11)] Erin is green.[(triple12)] Erin is nice.[(triple13)] Erin is red.[(triple14)] Erin is white.[(triple15)] Erin is young.[(triple16)]