Bob is rough. Charlie is not cold. Erin is rough. Gary is not quiet. If someone is big then they are green. All green, kind people are not quiet. If Bob is big then Bob is green. If Gary is not blue then Gary is big. If Erin is cold then Erin is big. If Bob is quiet then Bob is big. All green people are not kind. If someone is cold and blue then they are big.
Erin is not rough.
@0: Bob is rough.[(triple1)] Charlie is not cold.[(triple2)] Erin is rough.[(triple3)] Gary is not quiet.[(triple4)]