bern

if condition1:
  condition1Succeeded = True

if condition2:
  condition2Succeeded = True
  
if condition1Succeeded and condition2Succeeded:
  print("success!")

bern

(deffacts cities
	(city-list tallahassee lake-city gainesville jacksonville st-augustine ocala orlando tampa west-palm ft-myers miami key-west)
	(city name tallahassee neighbors lake-city 2)
	(city name lake-city neighbors tallahassee 2 jacksonville 1 gainesville 1)
	(city name gainesville neighbors lake-city 1 ocala 1 st-augustine 1)
	(city name jacksonville neighbors lake-city 1 st-augustine 1)
	(city name st-augustine neighbors jacksonville 1 gainesville 1 orlando 2 west-palm 3)
	(city name ocala neighbors gainesville 1 orlando 1 tampa 2)
	(city name orlando neighbors ocala 1 st-augustine 2 tampa 1 west-palm 3)
	(city name tampa neighbors ft-myers 2 orlando 1 ocala 2)