この表示板は上中だ
fact1: 仮にその過剰在庫が止む無くなくて経済的余裕でないとするとこの表示板は上中でない fact2: もしその過剰在庫が止む無しということはないがしかし経済的余裕であるとするとこの表示板は上中でない fact3: そのカレドニアン・ホテルは板絵でなくてそれに不完全複合語でない fact4: もしもこの我々国民が下ろし易いならその末端組員はわりなくない fact5: この我々国民がＡ株式会社でないとすればあの末端組員はわりなくない fact6: 仮にこの我々国民が止む無くないとするとその過剰在庫は止む無くないし加えて経済的余裕であるということはない fact7: その末端組員は消失するししかもそれはわりない fact8: 仮に「なにかは下ろし易いかもしくはＡ株式会社であるということはない」ということは成り立つということはないとすれば止む無くない fact9: もしこの我々国民はＡ株式会社でないなら「その末端組員はわりない」ということは成り立つ
void -> assump1: 以下のように仮定する。この我々国民は下ろし易いかＡ株式会社でない; assump1 & fact4 & fact5 -> int1: その末端組員はわりなくない; fact7 -> int2: その末端組員はわりない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「この我々国民は下ろし易いかまたはＡ株式会社でないかあるいは両方である」ということは誤っている; fact8 -> int5: もし仮に「この我々国民は下ろし易いかそれはＡ株式会社でないかあるいは両方ともである」ということは嘘であるならそれは止む無くない; int4 & int5 -> int6: この我々国民は止む無くない; int6 & fact6 -> int7: その過剰在庫は止む無くないし加えて経済的余裕であるということはない; int7 & fact1 -> hypothesis;
$facts$ = fact1: 仮にその過剰在庫が止む無くなくて経済的余裕でないとするとこの表示板は上中でない fact2: もしその過剰在庫が止む無しということはないがしかし経済的余裕であるとするとこの表示板は上中でない fact3: そのカレドニアン・ホテルは板絵でなくてそれに不完全複合語でない fact4: もしもこの我々国民が下ろし易いならその末端組員はわりなくない fact5: この我々国民がＡ株式会社でないとすればあの末端組員はわりなくない fact6: 仮にこの我々国民が止む無くないとするとその過剰在庫は止む無くないし加えて経済的余裕であるということはない fact7: その末端組員は消失するししかもそれはわりない fact8: 仮に「なにかは下ろし易いかもしくはＡ株式会社であるということはない」ということは成り立つということはないとすれば止む無くない fact9: もしこの我々国民はＡ株式会社でないなら「その末端組員はわりない」ということは成り立つ ; $hypothesis$ = この表示板は上中だ ; $proof$ = 
void -> assump1: 以下のように仮定する。この我々国民は下ろし易いかＡ株式会社でない; assump1 & fact4 & fact5 -> int1: その末端組員はわりなくない; fact7 -> int2: その末端組員はわりない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「この我々国民は下ろし易いかまたはＡ株式会社でないかあるいは両方である」ということは誤っている; fact8 -> int5: もし仮に「この我々国民は下ろし易いかそれはＡ株式会社でないかあるいは両方ともである」ということは嘘であるならそれは止む無くない; int4 & int5 -> int6: この我々国民は止む無くない; int6 & fact6 -> int7: その過剰在庫は止む無くないし加えて経済的余裕であるということはない; int7 & fact1 -> hypothesis; __DISPROVED__
事実1: 仮にその過剰在庫が止む無くなくて経済的余裕でないとするとこの表示板は上中でない
事実2: もしその過剰在庫が止む無しということはないがしかし経済的余裕であるとするとこの表示板は上中でない
事実3: そのカレドニアン・ホテルは板絵でなくてそれに不完全複合語でない
事実4: もしもこの我々国民が下ろし易いならその末端組員はわりなくない
事実5: この我々国民がＡ株式会社でないとすればあの末端組員はわりなくない
事実6: 仮にこの我々国民が止む無くないとするとその過剰在庫は止む無くないし加えて経済的余裕であるということはない
事実7: その末端組員は消失するししかもそれはわりない
事実8: 仮に「なにかは下ろし易いかもしくはＡ株式会社であるということはない」ということは成り立つということはないとすれば止む無くない
事実9: もしこの我々国民はＡ株式会社でないなら「その末端組員はわりない」ということは成り立つ

仮説: この表示板は上中だ
1. 仮定1: 以下のように仮定する。この我々国民は下ろし易いかＡ株式会社でない
2. 仮定1と事実4と事実5から、推論1: "その末端組員はわりなくない"が導かれる
3. 事実7から、推論2: "その末端組員はわりない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「この我々国民は下ろし易いかまたはＡ株式会社でないかあるいは両方である」ということは誤っている"が導かれる
6. 事実8から、推論5: "もし仮に「この我々国民は下ろし易いかそれはＡ株式会社でないかあるいは両方ともである」ということは嘘であるならそれは止む無くない"が導かれる
7. 推論4と推論5から、推論6: "この我々国民は止む無くない"が導かれる
8. 推論6と事実6から、推論7: "その過剰在庫は止む無くないし加えて経済的余裕であるということはない"が導かれる
9. 推論7と事実1から、仮説が否定される

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