Charlie is rough. Charlie is round. Charlie is not smart. Dave is blue. Dave is cold. Dave is green. Dave is nice. Dave is smart. Erin is round. Erin is smart. Gary is cold. Gary is smart. If someone is nice and not blue then they are not cold.
Gary is not smart.
@0: Charlie is not smart.[(triple3)] Charlie is rough.[(triple1)] Charlie is round.[(triple2)] Dave is blue.[(triple4)] Dave is cold.[(triple5)] Dave is green.[(triple6)] Dave is nice.[(triple7)] Dave is smart.[(triple8)] Erin is round.[(triple9)] Erin is smart.[(triple10)] Gary is cold.[(triple11)] Gary is smart.[(triple12)]