Gary is cold. Gary is quiet. Gary is red. Gary is rough. Gary is smart. Gary is white. Gary is not young. If someone is rough then they are quiet.
Gary is rough.
@0: Gary is cold.[(triple1)] Gary is not young.[(triple7)] Gary is quiet.[(triple2 OR ((triple4) -> rule1))] Gary is red.[(triple3)] Gary is rough.[(triple4)] Gary is smart.[(triple5)] Gary is white.[(triple6)]