or ,
| Id | If | Then |
|---|---|---|
| 19 | ( ∧ ) | |
| 42 | ||
| 43 | ( ∧ ) | |
| 49 | ||
| 70 | ||
| 98 | ||
| 99 | ( ∧ ) | |
| 100 | ||
| 101 | ( ∧ ) | |
| 104 | ||
| 105 | ( ∧ ) | |
| 109 | ( ∧ ) | ¬ |
| 118 | ||
| 119 | ||
| 152 | ||
| 153 | ( ∧ ) | |
| 195 | ||
| 197 | ( ∧ ) | |
| 226 | ||
| 261 | ( ∧ ) | |
| 267 | ( ∧ ) | |
| 280 | ( ∧ ) | |
| 287 | ||
| 288 | ( ∧ ) | |
| 292 | ( ∧ ∧ ) | |
| 305 | ( ∧ ) | |
| 308 | ( ∧ ∧ ) | ¬ |
| 311 | ||
| 318 | ( ∧ ) | |
| 319 | ( ∧¬ ∧ ) | |
| 322 | ( ∧ ∧ ) | |
| 363 | ( ∧ ) | |
| 374 | ( ∧ ∧ ) | |
| 381 | ( ∧ ) | |
| 397 | ( ∧ ∧ ) | |
| 399 | ( ∧ ∧ ) | |
| 402 | ( ∧ ) | |
| 415 | ( ∧ ) | |
| 419 | ||
| 421 | ( ∧ ) | |
| 426 | ( ∧ ) |