Variables: x1,x2,x3,x4,x5,x6,x7,x8

Initial state: x1,x2,x3,x4,x5,x6,x7, not x8

Goal: not x1, not x4, not x6


Event A occurs sometime between 2 and 6:

If 	not x4 and x2
then 	not x6 

If 	x4 and not x2 
then 	not x3



Event B occurs sometime between 3 and 5:


If 	not x1, x2, and x5 
then 	x1 and x4

If 	not x1 and not x3
then	not x4 after the event.



Event C occurs sometime between 2 and 7

If 	x5, x7, and x3 
then	not x3

If 	not x1, x7, and x3 
then 	not x6 



Event D occurs sometime between 1 and 10

If 	x1, not x2, and x3 
then 	x2, not x4

If 	x1, x2, and not x8
then	not x1