--- 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.