Bob is green. Bob is quiet. Bob is rough. Bob is smart. Gary is not quiet. Gary is rough. Gary is smart. If Gary is rough and Gary is not smart then Gary is cold. If Gary is quiet then Gary is not cold.
Bob is not green.
@0: Bob is green.[(triple1)] Bob is quiet.[(triple2)] Bob is rough.[(triple3)] Bob is smart.[(triple4)] Gary is not quiet.[(triple5)] Gary is rough.[(triple6)] Gary is smart.[(triple7)]