-a *OR* b *OR* c
-b *OR* d
-c *OR* e
-d
-e
*therefore* -a