Charlie is kind. Charlie is quiet. Charlie is red. Charlie is round. Dave is kind. Dave is nice. Erin is cold. Erin is kind. Erin is not nice. Erin is not quiet. Erin is red. Erin is round. Gary is blue. Gary is kind. Gary is quiet. Gary is not red. If something is blue and not quiet then it is not red. If Erin is kind and Erin is not cold then Erin is round. If Dave is round and Dave is not cold then Dave is nice.
Charlie is cold.
@0: Charlie is kind.[(triple1)] Charlie is quiet.[(triple2)] Charlie is red.[(triple3)] Charlie is round.[(triple4)] Dave is kind.[(triple5)] Dave is nice.[(triple6)] Erin is cold.[(triple7)] Erin is kind.[(triple8)] Erin is not nice.[(triple9)] Erin is not quiet.[(triple10)] Erin is red.[(triple11)] Erin is round.[(triple12)] Gary is blue.[(triple13)] Gary is kind.[(triple14)] Gary is not red.[(triple16)] Gary is quiet.[(triple15)]