-a *OR* c *OR* b
d *OR* -b
-b *OR* e
-c *OR* f *OR* g
-f
-g
-d
*THEREFORE* -a *AND* -b