-a *OR* b *OR* c
-b *OR* d
-c *OR* e
-d
-f
f *or* i
*therefore* -a *AND* -e