Gary is quiet. All cold people are rough. Kind people are rough. Big people are rough. If someone is big and not green then they are rough. If Gary is kind and Gary is big then Gary is quiet. If Gary is rough and Gary is white then Gary is not kind. If Gary is big and Gary is white then Gary is not kind. Quiet people are white.
Gary is quiet.
@0: Gary is quiet.[(triple1)] @1: Gary is white.[(((triple1) -> rule8))]