;                            2 Premise and some 3-premise arguments with Existential
;                                 Implication, complementation off
;                            Distinctively Existential only
;                            Using "Aristotelian 20 Aug I.txt"
;ExistenceON
#4
Acb
Aba
c Iac
#5
Abc
Aba
c Iac
#6
Abc
Aab
c Iac
#11
Acb
Eab
c Oac
#13
Ecb
Aba
c Oac
#14
Ecb
Aab
c Oac
#17
Ebc
Aba
c Oac
#18
Ebc
Aab
c Oac
#4:7
Adc
Acb
Aba
c Iad
#4:8
Acd
Acb
Aba
c Iad
#4:9
Acd
Abc
Aba
c Iad
#4:10
Acd
Abc
Aab
c Iad
#4:19
Adc
Ecb
Aba
c Oad
#4:20
Adc
Ecb
Aab
c Oad
#4:23
Adc
Ebc
Aba
c Oad
#4:24
Adc
Ebc
Aab
c Oad
#4:28
Edc
Acb
Aba
c Oad
#4:29
Edc
Abc
Aba
c Oad
#4:30
Edc
Abc
Aab
c Oad
#4:35
Ecd
Acb
Aba
c Oad
#4:36
Ecd
Abc
Aba
c Oad
#4:37
Ecd
Abc
Aab
c Oad