Terrorist Rules
Rule 1
if
Terrorists in town A
Flight S takeoff from town A
then
Terrorists on board S
Rule 2
if
Terrorists on board S
Flight S landing in town B
then
Terrorists in town B
Rule 3
if
Terrorists in town A
then
Terrorists move on grownd inside dispersing circle R
Rule 4
if
Terrorists move on grownd inside dispersing circle R
Dispersing circle cover town A
then
Terrorists in town A