Core protein set = {A, B, C}, neighborhood intersection set = {A, B, C, V, W}. Proteins A, B, and C form a module because they are in both sets (rule 1). Applying rules 2 and 3 to incorporate V and W produces two larger fully-connected modules [A, B, C, V] and [A, B, C, W]. This new knowledge that V and W interact with A, B, and C predicts a V-W interaction, resulting in a possibly larger aggregate [A, B, C, V, W].