(define a::bool)
(define b::bool)
(define c::bool)
(define d::bool)
(define e::bool)
(assert (= a true))
(assert (= b c))
(assert (= d e))
(assert (= b d))
(assert (not c))
(assert (= e a))
(check)