Bob is not blue. Bob is not cold. Bob is green. Bob is rough. Bob is round. Charlie is green. Charlie is red. Charlie is not smart. Erin is not blue. Erin is green. Erin is rough. Gary is not blue. Gary is green. Gary is rough. Gary is smart. If something is cold and not round then it is red. If Bob is cold then Bob is green. If Charlie is red and Charlie is rough then Charlie is smart. If Gary is red and Gary is rough then Gary is blue. If Charlie is rough and Charlie is not blue then Charlie is cold. Blue things are smart.
Charlie is not cold.
@0: Bob is green.[(triple3)] Bob is not blue.[(triple1)] Bob is not cold.[(triple2)] Bob is rough.[(triple4)] Bob is round.[(triple5)] Charlie is green.[(triple6)] Charlie is not smart.[(triple8)] Charlie is red.[(triple7)] Erin is green.[(triple10)] Erin is not blue.[(triple9)] Erin is rough.[(triple11)] Gary is green.[(triple13)] Gary is not blue.[(triple12)] Gary is rough.[(triple14)] Gary is smart.[(triple15)]