User:Adaptron/sandbox/
Appearance
< User:Adaptron | sandbox
Rule 1: The middle term must be distributed at least once.
Rule 2: No term undistributed in the premises may be distributed in the conclusion.
Rule 3: If both premises are negative then no conclusion is possible.
Rule 4: If one premise is negative then the conclusion must be negative.
Rule 5: If neither premise is negative then the conclusion must be affirmative.
Rule 6: If both premises are universal then the conclusion can not be particular.
Syllogism | Rule 1 | Rule 2 | Rule 3 | Rule 4 | Rule 5 | Rule 6 | Validity |
AAA-1 | PASS | PASS | PASS | PASS | PASS | PASS | True |
AII-1 | PASS | PASS | PASS | PASS | PASS | PASS | True |
EAE-1 | PASS | PASS | PASS | PASS | PASS | PASS | True |
EIO-1 | PASS | PASS | PASS | PASS | PASS | PASS | True |
AEE-2 | PASS | PASS | PASS | PASS | PASS | PASS | True |
AOO-2 | PASS | PASS | PASS | PASS | PASS | PASS | True |
EAE-2 | PASS | PASS | PASS | PASS | PASS | PASS | True |
EIO-2 | PASS | PASS | PASS | PASS | PASS | PASS | True |
AII-3 | PASS | PASS | PASS | PASS | PASS | PASS | True |
EIO-3 | PASS | PASS | PASS | PASS | PASS | PASS | True |
IAI-3 | PASS | PASS | PASS | PASS | PASS | PASS | True |
OAO-3 | PASS | PASS | PASS | PASS | PASS | PASS | True |
AEE-4 | PASS | PASS | PASS | PASS | PASS | PASS | True |
EIO-4 | PASS | PASS | PASS | PASS | PASS | PASS | True |
IAI-4 | PASS | PASS | PASS | PASS | PASS | PASS | True |
(Query Optimised)
syllogism | rule 5 | rule 6 | rule 2 | rule 4 | rule 1 | rule 3 |
aaa 1 | pass | pass | pass | pass | pass | pass |
aii 1 | pass | pass | pass | pass | pass | pass |
eae 1 | pass | pass | pass | pass | pass | pass |
eio 1 | pass | pass | pass | pass | pass | pass |
aee 2 | pass | pass | pass | pass | pass | pass |
aoo 2 | pass | pass | pass | pass | pass | pass |
eae 2 | pass | pass | pass | pass | pass | pass |
eio 2 | pass | pass | pass | pass | pass | pass |
aii 3 | pass | pass | pass | pass | pass | pass |
eio 3 | pass | pass | pass | pass | pass | pass |
iai 3 | pass | pass | pass | pass | pass | pass |
oao 3 | pass | pass | pass | pass | pass | pass |
aee 4 | pass | pass | pass | pass | pass | pass |
eio 4 | pass | pass | pass | pass | pass | pass |
iai 4 | pass | pass | pass | pass | pass | pass |
ooo 1 | pass | pass | pass | pass | pass | fail |
eee 3 | pass | pass | pass | pass | pass | fail |
eee 1 | pass | pass | pass | pass | pass | fail |
eoe 3 | pass | pass | pass | pass | pass | fail |
eoo 3 | pass | pass | pass | pass | pass | fail |
eoo 1 | pass | pass | pass | pass | pass | fail |
oee 1 | pass | pass | pass | pass | pass | fail |
oee 3 | pass | pass | pass | pass | pass | fail |
oeo 3 | pass | pass | pass | pass | pass | fail |
eee 2 | pass | pass | pass | pass | pass | fail |
eee 4 | pass | pass | pass | pass | pass | fail |
oeo 1 | pass | pass | pass | pass | pass | fail |
eoe 4 | pass | pass | pass | pass | pass | fail |
eoo 4 | pass | pass | pass | pass | pass | fail |
eoo 2 | pass | pass | pass | pass | pass | fail |
iaa 1 | pass | pass | pass | pass | fail | pass |
iai 1 | pass | pass | pass | pass | fail | pass |
iii 3 | pass | pass | pass | pass | fail | pass |
oio 1 | pass | pass | pass | pass | fail | pass |
iii 1 | pass | pass | pass | pass | fail | pass |
iaa 2 | pass | pass | pass | pass | fail | pass |
oio 3 | pass | pass | pass | pass | fail | pass |
iai 2 | pass | pass | pass | pass | fail | pass |
aii 4 | pass | pass | pass | pass | fail | pass |
aoe 4 | pass | pass | pass | pass | fail | pass |
aoo 4 | pass | pass | pass | pass | fail | pass |
iii 2 | pass | pass | pass | pass | fail | pass |
aaa 2 | pass | pass | pass | pass | fail | pass |
oae 1 | pass | pass | pass | pass | fail | pass |
aii 2 | pass | pass | pass | pass | fail | pass |
oao 1 | pass | pass | pass | pass | fail | pass |
iii 4 | pass | pass | pass | pass | fail | pass |
ooe 3 | pass | pass | pass | pass | fail | fail |
ooo 3 | pass | pass | pass | pass | fail | fail |
eaa 2 | pass | pass | pass | fail | pass | pass |
iea 1 | pass | pass | pass | fail | pass | pass |
iei 1 | pass | pass | pass | fail | pass | pass |
eii 2 | pass | pass | pass | fail | pass | pass |
iea 3 | pass | pass | pass | fail | pass | pass |
iei 3 | pass | pass | pass | fail | pass | pass |
eaa 1 | pass | pass | pass | fail | pass | pass |
oai 3 | pass | pass | pass | fail | pass | pass |
ioi 1 | pass | pass | pass | fail | pass | pass |
aea 2 | pass | pass | pass | fail | pass | pass |
aea 1 | pass | pass | pass | fail | pass | pass |
iea 2 | pass | pass | pass | fail | pass | pass |
iei 2 | pass | pass | pass | fail | pass | pass |
aoi 1 | pass | pass | pass | fail | pass | pass |
aea 4 | pass | pass | pass | fail | pass | pass |
ioi 2 | pass | pass | pass | fail | pass | pass |
oaa 2 | pass | pass | pass | fail | pass | pass |
oai 2 | pass | pass | pass | fail | pass | pass |
oii 2 | pass | pass | pass | fail | pass | pass |
aea 3 | pass | pass | pass | fail | pass | pass |
eii 4 | pass | pass | pass | fail | pass | pass |
aoi 2 | pass | pass | pass | fail | pass | pass |
aoa 3 | pass | pass | pass | fail | pass | pass |
aoi 3 | pass | pass | pass | fail | pass | pass |
eii 1 | pass | pass | pass | fail | pass | pass |
iea 4 | pass | pass | pass | fail | pass | pass |
iei 4 | pass | pass | pass | fail | pass | pass |
eii 3 | pass | pass | pass | fail | pass | pass |
oai 4 | pass | pass | pass | fail | pass | pass |
oii 4 | pass | pass | pass | fail | pass | pass |
eea 2 | pass | pass | pass | fail | pass | fail |
ooi 2 | pass | pass | pass | fail | pass | fail |
ooi 1 | pass | pass | pass | fail | pass | fail |
eoi 1 | pass | pass | pass | fail | pass | fail |
eea 4 | pass | pass | pass | fail | pass | fail |
oei 1 | pass | pass | pass | fail | pass | fail |
eoi 2 | pass | pass | pass | fail | pass | fail |
eea 3 | pass | pass | pass | fail | pass | fail |
eoa 4 | pass | pass | pass | fail | pass | fail |
oea 3 | pass | pass | pass | fail | pass | fail |
eoi 4 | pass | pass | pass | fail | pass | fail |
eea 1 | pass | pass | pass | fail | pass | fail |
oei 3 | pass | pass | pass | fail | pass | fail |
oea 1 | pass | pass | pass | fail | pass | fail |
oea 2 | pass | pass | pass | fail | pass | fail |
eoa 3 | pass | pass | pass | fail | pass | fail |
oei 2 | pass | pass | pass | fail | pass | fail |
oea 4 | pass | pass | pass | fail | pass | fail |
oei 4 | pass | pass | pass | fail | pass | fail |
eoi 3 | pass | pass | pass | fail | pass | fail |
ooa 4 | pass | pass | pass | fail | pass | fail |
ooi 4 | pass | pass | pass | fail | pass | fail |
oai 1 | pass | pass | pass | fail | fail | pass |
oii 3 | pass | pass | pass | fail | fail | pass |
ioa 4 | pass | pass | pass | fail | fail | pass |
ioi 4 | pass | pass | pass | fail | fail | pass |
aoa 4 | pass | pass | pass | fail | fail | pass |
oaa 1 | pass | pass | pass | fail | fail | pass |
aoi 4 | pass | pass | pass | fail | fail | pass |
oii 1 | pass | pass | pass | fail | fail | pass |
ioa 3 | pass | pass | pass | fail | fail | pass |
ioi 3 | pass | pass | pass | fail | fail | pass |
ooa 3 | pass | pass | pass | fail | fail | fail |
ooi 3 | pass | pass | pass | fail | fail | fail |
aoo 3 | pass | pass | fail | pass | pass | pass |
eae 3 | pass | pass | fail | pass | pass | pass |
ieo 2 | pass | pass | fail | pass | pass | pass |
aaa 4 | pass | pass | fail | pass | pass | pass |
iee 1 | pass | pass | fail | pass | pass | pass |
eie 3 | pass | pass | fail | pass | pass | pass |
ioe 2 | pass | pass | fail | pass | pass | pass |
aia 1 | pass | pass | fail | pass | pass | pass |
ioo 2 | pass | pass | fail | pass | pass | pass |
eie 2 | pass | pass | fail | pass | pass | pass |
oae 2 | pass | pass | fail | pass | pass | pass |
eae 4 | pass | pass | fail | pass | pass | pass |
ieo 1 | pass | pass | fail | pass | pass | pass |
iaa 3 | pass | pass | fail | pass | pass | pass |
eie 4 | pass | pass | fail | pass | pass | pass |
oao 2 | pass | pass | fail | pass | pass | pass |
aoo 1 | pass | pass | fail | pass | pass | pass |
iee 3 | pass | pass | fail | pass | pass | pass |
ioe 1 | pass | pass | fail | pass | pass | pass |
ieo 3 | pass | pass | fail | pass | pass | pass |
oie 2 | pass | pass | fail | pass | pass | pass |
iaa 4 | pass | pass | fail | pass | pass | pass |
aoe 2 | pass | pass | fail | pass | pass | pass |
oio 2 | pass | pass | fail | pass | pass | pass |
iee 4 | pass | pass | fail | pass | pass | pass |
oae 3 | pass | pass | fail | pass | pass | pass |
ieo 4 | pass | pass | fail | pass | pass | pass |
eie 1 | pass | pass | fail | pass | pass | pass |
aaa 3 | pass | pass | fail | pass | pass | pass |
ioo 1 | pass | pass | fail | pass | pass | pass |
oae 4 | pass | pass | fail | pass | pass | pass |
aee 3 | pass | pass | fail | pass | pass | pass |
oao 4 | pass | pass | fail | pass | pass | pass |
aia 3 | pass | pass | fail | pass | pass | pass |
aee 1 | pass | pass | fail | pass | pass | pass |
oie 4 | pass | pass | fail | pass | pass | pass |
iee 2 | pass | pass | fail | pass | pass | pass |
oio 4 | pass | pass | fail | pass | pass | pass |
aoe 3 | pass | pass | fail | pass | pass | pass |
aoe 1 | pass | pass | fail | pass | pass | pass |
eoe 1 | pass | pass | fail | pass | pass | fail |
oee 4 | pass | pass | fail | pass | pass | fail |
ooe 1 | pass | pass | fail | pass | pass | fail |
oeo 4 | pass | pass | fail | pass | pass | fail |
oee 2 | pass | pass | fail | pass | pass | fail |
ooe 2 | pass | pass | fail | pass | pass | fail |
eoe 2 | pass | pass | fail | pass | pass | fail |
ooo 2 | pass | pass | fail | pass | pass | fail |
ooe 4 | pass | pass | fail | pass | pass | fail |
oeo 2 | pass | pass | fail | pass | pass | fail |
ooo 4 | pass | pass | fail | pass | pass | fail |
aia 4 | pass | pass | fail | pass | fail | pass |
iia 3 | pass | pass | fail | pass | fail | pass |
iia 2 | pass | pass | fail | pass | fail | pass |
aia 2 | pass | pass | fail | pass | fail | pass |
iia 4 | pass | pass | fail | pass | fail | pass |
ioe 3 | pass | pass | fail | pass | fail | pass |
iia 1 | pass | pass | fail | pass | fail | pass |
ioe 4 | pass | pass | fail | pass | fail | pass |
ioo 3 | pass | pass | fail | pass | fail | pass |
ioo 4 | pass | pass | fail | pass | fail | pass |
oie 3 | pass | pass | fail | pass | fail | pass |
oie 1 | pass | pass | fail | pass | fail | pass |
eaa 3 | pass | pass | fail | fail | pass | pass |
eia 2 | pass | pass | fail | fail | pass | pass |
aoa 2 | pass | pass | fail | fail | pass | pass |
eia 4 | pass | pass | fail | fail | pass | pass |
eia 1 | pass | pass | fail | fail | pass | pass |
eia 3 | pass | pass | fail | fail | pass | pass |
oia 4 | pass | pass | fail | fail | pass | pass |
ioa 1 | pass | pass | fail | fail | pass | pass |
oaa 3 | pass | pass | fail | fail | pass | pass |
aoa 1 | pass | pass | fail | fail | pass | pass |
oia 2 | pass | pass | fail | fail | pass | pass |
ioa 2 | pass | pass | fail | fail | pass | pass |
oaa 4 | pass | pass | fail | fail | pass | pass |
eaa 4 | pass | pass | fail | fail | pass | pass |
eoa 1 | pass | pass | fail | fail | pass | fail |
ooa 1 | pass | pass | fail | fail | pass | fail |
eoa 2 | pass | pass | fail | fail | pass | fail |
ooa 2 | pass | pass | fail | fail | pass | fail |
oia 1 | pass | pass | fail | fail | fail | pass |
oia 3 | pass | pass | fail | fail | fail | pass |
aeo 2 | pass | fail | pass | pass | pass | pass |
eao 1 | pass | fail | pass | pass | pass | pass |
aai 4 | pass | fail | pass | pass | pass | pass |
aai 1 | pass | fail | pass | pass | pass | pass |
aai 3 | pass | fail | pass | pass | pass | pass |
aeo 4 | pass | fail | pass | pass | pass | pass |
eao 4 | pass | fail | pass | pass | pass | pass |
eao 3 | pass | fail | pass | pass | pass | pass |
eao 2 | pass | fail | pass | pass | pass | pass |
eeo 1 | pass | fail | pass | pass | pass | fail |
eeo 3 | pass | fail | pass | pass | pass | fail |
eeo 2 | pass | fail | pass | pass | pass | fail |
eeo 4 | pass | fail | pass | pass | pass | fail |
aai 2 | pass | fail | pass | pass | fail | pass |
aei 2 | pass | fail | pass | fail | pass | pass |
eai 3 | pass | fail | pass | fail | pass | pass |
eai 2 | pass | fail | pass | fail | pass | pass |
aei 3 | pass | fail | pass | fail | pass | pass |
aei 4 | pass | fail | pass | fail | pass | pass |
aei 1 | pass | fail | pass | fail | pass | pass |
eai 1 | pass | fail | pass | fail | pass | pass |
eai 4 | pass | fail | pass | fail | pass | pass |
eei 3 | pass | fail | pass | fail | pass | fail |
eei 1 | pass | fail | pass | fail | pass | fail |
eei 4 | pass | fail | pass | fail | pass | fail |
eei 2 | pass | fail | pass | fail | pass | fail |
aeo 1 | pass | fail | fail | pass | pass | pass |
aeo 3 | pass | fail | fail | pass | pass | pass |
aae 2 | fail | pass | pass | pass | fail | pass |
aio 2 | fail | pass | pass | pass | fail | pass |
aio 4 | fail | pass | pass | pass | fail | pass |
aae 3 | fail | pass | fail | pass | pass | pass |
aae 4 | fail | pass | fail | pass | pass | pass |
aio 1 | fail | pass | fail | pass | pass | pass |
aie 1 | fail | pass | fail | pass | pass | pass |
iae 4 | fail | pass | fail | pass | pass | pass |
iae 3 | fail | pass | fail | pass | pass | pass |
iao 4 | fail | pass | fail | pass | pass | pass |
aie 3 | fail | pass | fail | pass | pass | pass |
iao 3 | fail | pass | fail | pass | pass | pass |
aae 1 | fail | pass | fail | pass | pass | pass |
aio 3 | fail | pass | fail | pass | pass | pass |
iie 3 | fail | pass | fail | pass | fail | pass |
iie 2 | fail | pass | fail | pass | fail | pass |
iio 3 | fail | pass | fail | pass | fail | pass |
iio 1 | fail | pass | fail | pass | fail | pass |
iio 2 | fail | pass | fail | pass | fail | pass |
iie 4 | fail | pass | fail | pass | fail | pass |
iao 2 | fail | pass | fail | pass | fail | pass |
iio 4 | fail | pass | fail | pass | fail | pass |
aie 2 | fail | pass | fail | pass | fail | pass |
iae 1 | fail | pass | fail | pass | fail | pass |
iie 1 | fail | pass | fail | pass | fail | pass |
aie 4 | fail | pass | fail | pass | fail | pass |
iao 1 | fail | pass | fail | pass | fail | pass |
iae 2 | fail | pass | fail | pass | fail | pass |
aao 4 | fail | fail | pass | pass | pass | pass |
aao 2 | fail | fail | pass | pass | fail | pass |
aao 1 | fail | fail | fail | pass | pass | pass |
aao 3 | fail | fail | fail | pass | pass | pass |