$ z3 --version
Z3 version 4.13.3 - 64 bit
$ z3 -T:60 kalima_unconditional.smt2
check 1: broader definition: kalima + MP-008 + OP-006, no necessary first cause of anything in the universe (expect unsat)
unsat
check 2: our definition: kalima + MP-008 + MP-010 + definition + OP-007, no necessary first cause of the universe (expect unsat)
unsat
check 3: all premises of both forms together (expect sat: consistent)
sat
exit code: 0
$ shasum -a 256 kalima_unconditional.smt2
276b18b2f9f36e4c5ecdbfc0520d82a49c7a35c18718bb2b52b0f2f4280cd13f  kalima_unconditional.smt2
checked: 2026-09-30