Dave is big. Dave is kind. Dave is not rough. Erin is nice. Erin is smart. Gary is big. Gary is kind. Gary is nice. Gary is quiet. Gary is not rough. If someone is big and green then they are not nice. All rough people are not quiet.
Gary is not kind.
@0: Dave is big.[(triple1)] Dave is kind.[(triple2)] Dave is not rough.[(triple3)] Erin is nice.[(triple4)] Erin is smart.[(triple5)] Gary is big.[(triple6)] Gary is kind.[(triple7)] Gary is nice.[(triple8)] Gary is not rough.[(triple10)] Gary is quiet.[(triple9)]