| changeset 33010 | 39f73a59e855 |
| 33008:b0ff69f0a248 | 33010:39f73a59e855 |
|---|---|
1 #2 := false |
|
2 #4 := 3::int |
|
3 #5 := (= 3::int 3::int) |
|
4 #6 := (not #5) |
|
5 #30 := (iff #6 false) |
|
6 #1 := true |
|
7 #25 := (not true) |
|
8 #28 := (iff #25 false) |
|
9 #29 := [rewrite]: #28 |
|
10 #26 := (iff #6 #25) |
|
11 #23 := (iff #5 true) |
|
12 #24 := [rewrite]: #23 |
|
13 #27 := [monotonicity #24]: #26 |
|
14 #31 := [trans #27 #29]: #30 |
|
15 #22 := [asserted]: #6 |
|
16 [mp #22 #31]: false |
|
17 unsat |