Property ViralEpidemic-PT-S08D1C2A04-CTLFireability-2025-00
   "Automatically generated by Citili v2025"
   is:
      E ((A (G (is-fireable("cured471162")))) U (E (F (is-fireable("cured442631")))))
   end.
Property ViralEpidemic-PT-S08D1C2A04-CTLFireability-2025-01
   "Automatically generated by Citili v2025"
   is:
      (! (A (F (is-fireable("cured487548"))))) | ((E (G (! ((! ((E (G (is-fireable("cured487566")))) | (! (is-fireable("spread41164"))))) | (A (((is-fireable("dead421228")) | (is-fireable("dead414171"))) U (A (F (is-fireable("cured35236")))))))))) & (E (G ((E (F (! (is-fireable("dead433685"))))) & (is-fireable("dead487816"))))))
   end.
Property ViralEpidemic-PT-S08D1C2A04-CTLFireability-2025-02
   "Automatically generated by Citili v2025"
   is:
      ! (A (G (A (F ((((is-fireable("cured412442")) & ((is-fireable("cured472862")) | (is-fireable("dead423243")))) & (E ((is-fireable("cured412638")) U (is-fireable("cured478814"))))) | (is-fireable("cured458852")))))))
   end.
Property ViralEpidemic-PT-S08D1C2A04-CTLFireability-2025-03
   "Automatically generated by Citili v2025"
   is:
      A (F ((! ((E ((E ((is-fireable("dead35131")) U (is-fireable("cured477231")))) U (! (A (X (is-fireable("cured33265"))))))) | (! ((E (F (is-fireable("dead483425")))) & ((E (F (is-fireable("cured436376")))) | (A (F (is-fireable("dead32722"))))))))) | (E (((E (G ((is-fireable("dead34448")) & (is-fireable("dead423314"))))) | (E (F ((is-fireable("cured474174")) & (is-fireable("cured437864")))))) U (is-fireable("spread41151"))))))
   end.
Property ViralEpidemic-PT-S08D1C2A04-CTLFireability-2025-04
   "Automatically generated by Citili v2025"
   is:
      ! (A (F (E (X ((! (E (X (is-fireable("spread42818"))))) & ((E (X (is-fireable("cured484157")))) | (is-fireable("cured484637"))))))))
   end.
Property ViralEpidemic-PT-S08D1C2A04-CTLFireability-2025-05
   "Automatically generated by Citili v2025"
   is:
      E (F (! (E (F (E (F ((is-fireable("cured446637")) & (is-fireable("dead453778")))))))))
   end.
Property ViralEpidemic-PT-S08D1C2A04-CTLFireability-2025-06
   "Automatically generated by Citili v2025"
   is:
      E (X ((E (F ((is-fireable("dead483313")) | ((E (G (is-fireable("cured452467")))) | (((is-fireable("cured412164")) | (is-fireable("dead468486"))) | (A (X (is-fireable("dead32825"))))))))) | ((! (is-fireable("cured434374"))) & ((is-fireable("cured37663")) | (A (G (is-fireable("cured433244"))))))))
   end.
Property ViralEpidemic-PT-S08D1C2A04-CTLFireability-2025-07
   "Automatically generated by Citili v2025"
   is:
      A (X (A (F ((((A (X (is-fireable("dead2732")))) | (E (G (is-fireable("dead33442"))))) & (E (G (! (is-fireable("dead412513")))))) | (E (F (A (F (is-fireable("dead32727"))))))))))
   end.
Property ViralEpidemic-PT-S08D1C2A04-CTLFireability-2025-08
   "Automatically generated by Citili v2025"
   is:
      E (F (E (X (E ((E (F (! (is-fireable("dead472531"))))) U ((! (A (X (is-fireable("dead465214"))))) & ((! (is-fireable("spread44877"))) & (E (F (is-fireable("cured461785")))))))))))
   end.
Property ViralEpidemic-PT-S08D1C2A04-CTLFireability-2025-09
   "Automatically generated by Citili v2025"
   is:
      E (G (! ((is-fireable("dead448681")) & ((is-fireable("dead473288")) | (E (X (A (X (is-fireable("cured425511"))))))))))
   end.
Property ViralEpidemic-PT-S08D1C2A04-CTLFireability-2025-10
   "Automatically generated by Citili v2025"
   is:
      ! (A (F ((A (X (A (((is-fireable("cured35632")) & (is-fireable("cured437146"))) U (A (G (is-fireable("cured457731")))))))) & (is-fireable("dead481575")))))
   end.
Property ViralEpidemic-PT-S08D1C2A04-CTLFireability-2025-11
   "Automatically generated by Citili v2025"
   is:
      E (F ((A (((E ((E (G (is-fireable("dead444322")))) U ((is-fireable("cured452653")) & (is-fireable("dead458645"))))) & (! (E (G (is-fireable("dead477881")))))) U (is-fireable("cured31585")))) & (is-fireable("cured415228"))))
   end.
Property ViralEpidemic-PT-S08D1C2A04-CTLFireability-12
   "Automatically generated by Citili v2023"
   is:
      ! (A (((A (G (E (G (! (is-fireable("cured33576"))))))) & (A (((A (F (is-fireable("cured482474")))) | (is-fireable("dead432828"))) U ((((is-fireable("cured443752")) & (is-fireable("cured412426"))) | (is-fireable("cured432284"))) | (A ((is-fireable("dead443248")) U (is-fireable("cured461523")))))))) U (((A (F (is-fireable("dead458362")))) & (is-fireable("cured483665"))) | (((is-fireable("dead473236")) & ((A (G (is-fireable("dead475546")))) | ((A (X (is-fireable("cured442785")))) & ((is-fireable("dead425277")) | (is-fireable("cured453211")))))) & (E ((A (X (is-fireable("dead441673")))) U (A ((is-fireable("dead485378")) U (is-fireable("cured36155"))))))))))
   end.
Property ViralEpidemic-PT-S08D1C2A04-CTLFireability-13
   "Automatically generated by Citili v2023"
   is:
      (A (F (E (G (((E ((is-fireable("dead431574")) U (is-fireable("dead35718")))) & (! (E (F (is-fireable("cured32828")))))) & (E (G ((is-fireable("spread3663")) & (is-fireable("dead433862")))))))))) | (A ((E (X (E ((is-fireable("dead485254")) U (E (F (is-fireable("dead466822")))))))) U (is-fireable("dead465885"))))
   end.
Property ViralEpidemic-PT-S08D1C2A04-CTLFireability-14
   "Automatically generated by Citili v2023"
   is:
      E (F (is-fireable("dead38238")))
   end.
Property ViralEpidemic-PT-S08D1C2A04-CTLFireability-15
   "Automatically generated by Citili v2023"
   is:
      ! (A (F (is-fireable("cured484555"))))
   end.
