--- P1 --- false. --- P2 --- :-q. :-p. --- P3 --- :-q. :-not p. --- P4 --- :-q. --- P5 --- :-q. p. --- P6 --- :-q. p;not p. --- P7 --- :-p. :-not q. --- P8 --- :-p. --- P9 --- :-p, q. :-not p, not q. --- P10 --- :-p, q. --- P11 --- :-p, q. p:-not q. --- P12 --- :-p, q. p;not p. --- P13 --- :-p. q. --- P14 --- :-p. q;not q. --- P15 --- :-p, q. q:-not p. --- P16 --- :-p, q. q;not q. --- P17 --- :-p, q. p;q. --- P18 --- :-p, q. p;not p. q;not q. --- P19 --- :-not p. :-not q. --- P20 --- :-not p, q. :-p, not q. --- P21 --- :-not p. --- P22 --- :-not p, q. --- P23 --- p:-not q. :-not p. --- P24 --- :-not p, q. p;not p:-not q. --- P25 --- :-not q. --- P26 --- :-p, not q. --- P27 --- :-not p, not q. --- P28 --- --- P29 --- p:-not q. --- P30 --- p;not p:-not q. --- P31 --- q:-not p. :-not q. --- P32 --- q;not q:-not p. :-p, not q. --- P33 --- q:-not p. --- P34 --- q;not q:-not p. --- P35 --- q:-not p. p:-not q. --- P36 --- q;not q:-not p. p;not p:-not q. --- P37 --- p;q. :-not p. :-not q. --- P38 --- :-not p, q. :-p, not q. p;q;not q. other choice: :-not p, q. :-p, not q. p;not p;q. --- P39 --- p;q;not q. :-not p. --- P40 --- :-not p, q. p;q;not q. --- P41 --- p;q. :-not p. --- P42 --- :-not p, q. p;not p;q. --- P43 --- p;not p;q. :-not q. --- P44 --- :-p, not q. p;not p;q. --- P45 --- p;not p;q;not q. :-not p, not q. --- P46 --- p;not p;q;not q. --- P47 --- p;not p;q. :-not p, not q. other choice: p;not p;q. p:-not q. --- P48 --- p;not p;q. --- P49 --- p;q. :-not q. --- P50 --- :-p, not q. p;q;not q. --- P51 --- p;q;not q. :-not p, not q. other choice: p;q;not q. q:-not p. --- P52 --- p;q;not q. --- P53 --- p;q. --- P54 --- q;not q:-not p. p;not p;q. other choice: p;not p:-not q. p;q;not q. other choice: p;q;not q. p;not p;q. --- P55 --- q:-p. :-not p. --- P56 --- :-not p, q. q:-p. --- P57 --- q;not q:-p. :-not p. --- P58 --- q;not q:-p. :-not p, q. --- P59 --- q;not q:-p. p:-not q. :-not p. --- P60 --- q;not q:-p. :-not p, q. p;not p:-not q. --- P61 --- q:-p. :-not q. --- P62 --- q:-p. --- P63 --- q;not q:-p. :-not p, not q. --- P64 --- q;not q:-p. --- P65 --- q;not q:-p. p:-not q. --- P66 --- q;not q:-p. p;not p:-not q. --- P67 --- q:-p. q:-not p. --- P68 --- q;not q:-not p. q:-p. --- P69 --- q;not q:-p. q:-not p. --- P70 --- q;not q:-p. q;not q:-not p. --- P71 --- q;not q:-p. q:-not p. p:-not q. --- P72 --- q;not q:-p. q;not q:-not p. p;not p:-not q. --- P73 --- :-not p. q. --- P74 --- :-not p, q. not p;q. --- P75 --- :-not p. q;not q. --- P76 --- :-not p, q. q;not q. --- P77 --- :-not p. q;not q. p:-not q. other choice: :-not p. q;not q. p;q. --- P78 --- :-not p, q. q;not q. p;not p:-not q. other choice: :-not p, q. q;not q. p;not p;q. --- P79 --- not p;q. :-not q. --- P80 --- not p;q. --- P81 --- :-not p, not q. not p;q;not q. --- P82 --- not p;q;not q. --- P83 --- p:-not q. not p;q;not q. --- P84 --- q;not q:-p. p;not p;q. other choice: p;not p:-not q. not p;q;not q. other choice: not p;q;not q. p;not p;q. --- P85 --- q. --- P86 --- q;not q. :-p, not q. other choice: q;not q. q:-p. other choice: q;not q. not p;q. --- P87 --- q;not q. :-not p, not q. other choice: q;not q. q:-not p. --- P88 --- q;not q. --- P89 --- q;not q. p:-not q. other choice: q;not q. p;q. --- P90 --- q;not q. p;not p:-not q. other choice: q;not q. p;not p;q. --- P91 --- p:-q. :-not q. --- P92 --- :-p, not q. p:-q. --- P93 --- p:-q. :-not p. --- P94 --- p:-q. --- P95 --- p:-q. p:-not q. --- P96 --- p;not p:-not q. p:-q. --- P97 --- p;not p:-q. :-not q. --- P98 --- p;not p:-q. :-p, not q. --- P99 --- p;not p:-q. :-not p, not q. --- P100 --- p;not p:-q. --- P101 --- p;not p:-q. p:-not q. --- P102 --- p;not p:-q. p;not p:-not q. --- P103 --- p;not p:-q. q:-not p. :-not q. --- P104 --- p;not p:-q. q;not q:-not p. :-p, not q. --- P105 --- p;not p:-q. q:-not p. --- P106 --- p;not p:-q. q;not q:-not p. --- P107 --- p;not p:-q. q:-not p. p:-not q. --- P108 --- p;not p:-q. q;not q:-not p. p;not p:-not q. --- P109 --- :-not q. p. --- P110 --- :-p, not q. p;not q. --- P111 --- p;not q. :-not p. --- P112 --- p;not q. --- P113 --- p. --- P114 --- p;not p. :-not p, q. other choice: p;not p. p:-q. other choice: p;not p. p;not q. --- P115 --- :-not q. p;not p. --- P116 --- :-p, not q. p;not p. --- P117 --- :-not p, not q. p;not p;not q. --- P118 --- p;not p;not q. --- P119 --- p;not p. :-not p, not q. other choice: p;not p. p:-not q. --- P120 --- p;not p. --- P121 --- :-not q. p;not p. q:-not p. other choice: :-not q. p;not p. p;q. --- P122 --- :-p, not q. p;not p. q;not q:-not p. other choice: :-p, not q. p;not p. p;q;not q. --- P123 --- q:-not p. p;not p;not q. --- P124 --- p;not p:-q. p;q;not q. other choice: q;not q:-not p. p;not p;not q. other choice: p;not p;not q. p;q;not q. --- P125 --- p;not p. q:-not p. other choice: p;not p. p;q. --- P126 --- p;not p. q;not q:-not p. other choice: p;not p. p;q;not q. --- P127 --- p:-q. q:-p. :-not p. other choice: p:-q. q:-p. :-not q. --- P128 --- p:-q. q:-p. --- P129 --- q;not q:-p. p:-q. :-not p. --- P130 --- q;not q:-p. p:-q. --- P131 --- q;not q:-p. p:-q. p:-not q. --- P132 --- q;not q:-p. p;not p:-not q. p:-q. --- P133 --- p;not p:-q. q:-p. :-not q. --- P134 --- p;not p:-q. q:-p. --- P135 --- p;not p:-q. q;not q:-p. :-not p, not q. --- P136 --- p;not p:-q. q;not q:-p. --- P137 --- p;not p:-q. q;not q:-p. p:-not q. --- P138 --- p;not p:-q. q;not q:-p. p;not p:-not q. --- P139 --- p;not p:-q. q:-p. q:-not p. --- P140 --- p;not p:-q. q;not q:-not p. q:-p. --- P141 --- p;not p:-q. q;not q:-p. q:-not p. --- P142 --- p;not p:-q. q;not q:-p. q;not q:-not p. --- P143 --- p;not p:-q. q;not q:-p. q:-not p. p:-not q. --- P144 --- p;not p:-q. q;not q:-p. q;not q:-not p. p;not p:-not q. --- P145 --- p. q. --- P146 --- p:-q. not p;q. other choice: q:-p. p;not q. other choice: p;not q. not p;q. --- P147 --- :-not p. q;not q. p:-q. other choice: :-not p. q;not q. p;not q. --- P148 --- q;not q. p:-q. other choice: q;not q. p;not q. --- P149 --- q;not q. p. --- P150 --- p;not p. q;not q. :-not p, q. other choice: p;not p. q;not q. p:-q. other choice: p;not p. q;not q. p;not q. --- P151 --- :-not q. p;not p. q:-p. other choice: :-not q. p;not p. not p;q. --- P152 --- p;not p. q:-p. other choice: p;not p. not p;q. --- P153 --- :-not p, not q. p;not p:-q. not p;q;not q. other choice: :-not p, not q. q;not q:-p. p;not p;not q. other choice: :-not p, not q. p;not p;not q. not p;q;not q. --- P154 --- p;not p:-q. not p;q;not q. other choice: q;not q:-p. p;not p;not q. other choice: p;not p;not q. not p;q;not q. --- P155 --- p;not p. q;not q:-p. :-not p, not q. other choice: p;not p. q;not q:-p. p:-not q. other choice: p;not p. :-not p, not q. not p;q;not q. other choice: p;not p. p:-not q. not p;q;not q. --- P156 --- p;not p. q;not q:-p. other choice: p;not p. not p;q;not q. --- P157 --- p;not p. q. --- P158 --- p;not p. q;not q. :-p, not q. other choice: p;not p. q;not q. q:-p. other choice: p;not p. q;not q. not p;q. --- P159 --- q;not q. p;not p:-q. :-not p, not q. other choice: q;not q. p;not p:-q. q:-not p. other choice: q;not q. :-not p, not q. p;not p;not q. other choice: q;not q. q:-not p. p;not p;not q. --- P160 --- q;not q. p;not p:-q. other choice: q;not q. p;not p;not q. --- P161 --- p;not p. q;not q. :-not p, not q. other choice: p;not p. q;not q. q:-not p. other choice: p;not p. q;not q. p:-not q. other choice: p;not p. q;not q. p;q. --- P162 --- p;not p. q;not q.