「この比較判断は神々しいがしかし素人っぽくない」ということは嘘でない
fact1: 素人っぽいししかも誤り無い物は済し崩しでない fact2: 仮にこの比較判断は素人っぽくないならば「あの義和団は所狭くてそれは神々しい」ということは成り立たない fact3: もしもこの比較判断は所狭くないならば「「あの義和団は神々しいし済し崩しである」ということは確かでない」ということは確かである fact4: あの義和団は誤り無い fact5: あの命令書は対局するし素人っぽい fact6: もし「あの義和団は所狭くない」ということは真実であるとすると「「この比較判断は神々しいが素人っぽくない」ということは確かだ」ということは間違いである fact7: 仮にこの比較判断が青いなら済し崩しでない fact8: あの義和団は済し崩しだ fact9: もし仮に誤り無い物は済し崩しであるならばそれは所狭くない fact10: 「この比較判断は神々しくてかつそれは誤り無い」ということは誤りだ
fact4 & fact8 -> int1: あの義和団は誤り無いしそれは済し崩しだ; fact9 -> int2: あの義和団が誤り無いしおまけにそれが済し崩しならば所狭しということはない; int1 & int2 -> int3: あの義和団は所狭しということはない; int3 & fact6 -> hypothesis;
fact4 & fact8 -> int1: ({A}{a} & {B}{a}); fact9 -> int2: ({A}{a} & {B}{a}) -> ¬{C}{a}; int1 & int2 -> int3: ¬{C}{a}; int3 & fact6 -> hypothesis;
この比較判断は神々しいがしかし素人っぽくない
$facts$ = fact1: 素人っぽいししかも誤り無い物は済し崩しでない fact2: 仮にこの比較判断は素人っぽくないならば「あの義和団は所狭くてそれは神々しい」ということは成り立たない fact3: もしもこの比較判断は所狭くないならば「「あの義和団は神々しいし済し崩しである」ということは確かでない」ということは確かである fact4: あの義和団は誤り無い fact5: あの命令書は対局するし素人っぽい fact6: もし「あの義和団は所狭くない」ということは真実であるとすると「「この比較判断は神々しいが素人っぽくない」ということは確かだ」ということは間違いである fact7: 仮にこの比較判断が青いなら済し崩しでない fact8: あの義和団は済し崩しだ fact9: もし仮に誤り無い物は済し崩しであるならばそれは所狭くない fact10: 「この比較判断は神々しくてかつそれは誤り無い」ということは誤りだ ; $hypothesis$ = 「この比較判断は神々しいがしかし素人っぽくない」ということは嘘でない ; $proof$ = 
fact4 & fact8 -> int1: あの義和団は誤り無いしそれは済し崩しだ; fact9 -> int2: あの義和団が誤り無いしおまけにそれが済し崩しならば所狭しということはない; int1 & int2 -> int3: あの義和団は所狭しということはない; int3 & fact6 -> hypothesis; __DISPROVED__
事実1: 素人っぽいししかも誤り無い物は済し崩しでない
事実2: 仮にこの比較判断は素人っぽくないならば「あの義和団は所狭くてそれは神々しい」ということは成り立たない
事実3: もしもこの比較判断は所狭くないならば「「あの義和団は神々しいし済し崩しである」ということは確かでない」ということは確かである
事実4: あの義和団は誤り無い
事実5: あの命令書は対局するし素人っぽい
事実6: もし「あの義和団は所狭くない」ということは真実であるとすると「「この比較判断は神々しいが素人っぽくない」ということは確かだ」ということは間違いである
事実7: 仮にこの比較判断が青いなら済し崩しでない
事実8: あの義和団は済し崩しだ
事実9: もし仮に誤り無い物は済し崩しであるならばそれは所狭くない
事実10: 「この比較判断は神々しくてかつそれは誤り無い」ということは誤りだ

仮説: 「この比較判断は神々しいがしかし素人っぽくない」ということは嘘でない
1. 事実4と事実8から、推論1: "あの義和団は誤り無いしそれは済し崩しだ"が導かれる
2. 事実9から、推論2: "あの義和団が誤り無いしおまけにそれが済し崩しならば所狭しということはない"が導かれる
3. 推論1と推論2から、推論3: "あの義和団は所狭しということはない"が導かれる
4. 推論3と事実6から、仮説が否定される

よって、仮説が否定されました。