or
| Id | If | Then |
|---|---|---|
| 27 | ( ∧ ) | |
| 28 | ( ∧ ∧ ) | |
| 37 | ( ∧ ) | |
| 41 | ¬ | |
| 42 | ||
| 43 | ( ∧ ) | |
| 66 | ||
| 70 | ||
| 81 | ( ∧ ∧ ) | ¬ |
| 98 | ||
| 100 | ||
| 104 | ||
| 113 | ||
| 127 | ( ∧ ∧ ∧ ) | |
| 143 | ||
| 152 | ||
| 169 | ||
| 171 | ( ∧¬ ) | ¬ |
| 176 | ||
| 194 | ||
| 204 | ||
| 208 | ( ∧ ) | ¬ |
| 230 | ( ∧ ) | |
| 269 | ( ∧ ∧ ) | |
| 280 | ( ∧ ) | |
| 308 | ( ∧ ∧ ) | ¬ |
| 312 | ( ∧ ) | |
| 328 | ||
| 330 | ||
| 333 | ||
| 348 | ( ∧¬ ) | |
| 349 | ( ∧¬ ) | |
| 423 | ( ∧ ) | |
| 426 | ( ∧ ) |