Bob is big. Gary is rough. If Gary is young and Gary is not furry then Gary is rough. If Gary is big and Gary is green then Gary is not blue.
Gary is not rough.
@0: Bob is big.[(triple1)] Gary is rough.[(triple2)]