Charlie is nice. Dave is cold. Dave is kind. Dave is nice. Dave is young. Erin is cold. Erin is kind. Erin is nice. Erin is rough. Gary is cold. If Gary is rough and Gary is kind then Gary is quiet.
Gary is not quiet.
@0: Charlie is nice.[(triple1)] Dave is cold.[(triple2)] Dave is kind.[(triple3)] Dave is nice.[(triple4)] Dave is young.[(triple5)] Erin is cold.[(triple6)] Erin is kind.[(triple7)] Erin is nice.[(triple8)] Erin is rough.[(triple9)] Gary is cold.[(triple10)]