Charlie is not blue. Charlie is cold. Charlie is rough. Charlie is round. Dave is not blue. Dave is quiet. Dave is round. Erin is not blue. Erin is nice. Erin is quiet. Erin is rough. Erin is smart. Gary is not cold. Gary is rough. Gary is round. Smart, cold people are quiet. If Charlie is smart then Charlie is quiet. If someone is smart and quiet then they are rough.
Dave is not rough.
@0: Charlie is cold.[(triple2)] Charlie is not blue.[(triple1)] Charlie is rough.[(triple3)] Charlie is round.[(triple4)] Dave is not blue.[(triple5)] Dave is quiet.[(triple6)] Dave is round.[(triple7)] Erin is nice.[(triple9)] Erin is not blue.[(triple8)] Erin is quiet.[(triple10)] Erin is rough.[(triple11 OR ((triple12 triple10) -> rule3))] Erin is smart.[(triple12)] Gary is not cold.[(triple13)] Gary is rough.[(triple14)] Gary is round.[(triple15)]