あの新地はコンコルドだ
fact1: もし「あの使用時間は晒され易くないがしかしシフトレバーだ」ということは誤っているならばあの購入単位はグループワークでない fact2: もしあの草鞋が具足するとしたらこの購入単位は具足しない fact3: あの草鞋は町営だ fact4: とある物は計算すらないかまたは伝送装置であるかあるいは両方ともであるとすればコンコルドでない fact5: 仮にあの草鞋が町営だとすればそれは具足する fact6: 「あの使用時間は晒され易いということはないけどそれはシフトレバーである」ということは本当でない fact7: もしもなにがしかのものが変わり始めるとしたら過労死・過労自殺者だ fact8: 仮にこの購入単位が底深くなくて具足しないなら「その実地棚卸しは変わり始める」ということは真実だ fact9: 「アクセプタイオンはコンコルドである」ということは嘘であるということはない fact10: もし仮にその実地棚卸しが過労死・過労自殺者であるならあの新地は計算すらないかあるいはそれは伝送装置である fact11: 仮になにがしかの物はグループワークでないとしたら底深くない
fact1 & fact6 -> int1: この購入単位はグループワークでない; fact11 -> int2: 仮にこの購入単位はグループワークでないとしたらそれは底深くない; int1 & int2 -> int3: この購入単位は底深くない; fact3 & fact5 -> int4: あの草鞋は具足する; int4 & fact2 -> int5: この購入単位は具足するということはない; int3 & int5 -> int6: この購入単位は底深くなくて加えて具足しない; int6 & fact8 -> int7: その実地棚卸しは変わり始める; fact7 -> int8: もしもその実地棚卸しが変わり始めればそれは過労死・過労自殺者である; int7 & int8 -> int9: その実地棚卸しは過労死・過労自殺者である; int9 & fact10 -> int10: あの新地は計算すらないか伝送装置であるかどちらもである; fact4 -> int11: あの新地が計算すらないかあるいはそれは伝送装置であるかまたは両方ともであるとすると「それはコンコルドでない」ということは本当だ; int10 & int11 -> hypothesis;
もしも「あの帝国主義的民主主義はアクセプタイオンである」ということは成り立つとするとそれはコンコルドだ
fact12 -> hypothesis;
$facts$ = fact1: もし「あの使用時間は晒され易くないがしかしシフトレバーだ」ということは誤っているならばあの購入単位はグループワークでない fact2: もしあの草鞋が具足するとしたらこの購入単位は具足しない fact3: あの草鞋は町営だ fact4: とある物は計算すらないかまたは伝送装置であるかあるいは両方ともであるとすればコンコルドでない fact5: 仮にあの草鞋が町営だとすればそれは具足する fact6: 「あの使用時間は晒され易いということはないけどそれはシフトレバーである」ということは本当でない fact7: もしもなにがしかのものが変わり始めるとしたら過労死・過労自殺者だ fact8: 仮にこの購入単位が底深くなくて具足しないなら「その実地棚卸しは変わり始める」ということは真実だ fact9: 「アクセプタイオンはコンコルドである」ということは嘘であるということはない fact10: もし仮にその実地棚卸しが過労死・過労自殺者であるならあの新地は計算すらないかあるいはそれは伝送装置である fact11: 仮になにがしかの物はグループワークでないとしたら底深くない ; $hypothesis$ = あの新地はコンコルドだ ; $proof$ = 
fact1 & fact6 -> int1: この購入単位はグループワークでない; fact11 -> int2: 仮にこの購入単位はグループワークでないとしたらそれは底深くない; int1 & int2 -> int3: この購入単位は底深くない; fact3 & fact5 -> int4: あの草鞋は具足する; int4 & fact2 -> int5: この購入単位は具足するということはない; int3 & int5 -> int6: この購入単位は底深くなくて加えて具足しない; int6 & fact8 -> int7: その実地棚卸しは変わり始める; fact7 -> int8: もしもその実地棚卸しが変わり始めればそれは過労死・過労自殺者である; int7 & int8 -> int9: その実地棚卸しは過労死・過労自殺者である; int9 & fact10 -> int10: あの新地は計算すらないか伝送装置であるかどちらもである; fact4 -> int11: あの新地が計算すらないかあるいはそれは伝送装置であるかまたは両方ともであるとすると「それはコンコルドでない」ということは本当だ; int10 & int11 -> hypothesis; __DISPROVED__
事実1: もし「あの使用時間は晒され易くないがしかしシフトレバーだ」ということは誤っているならばあの購入単位はグループワークでない
事実2: もしあの草鞋が具足するとしたらこの購入単位は具足しない
事実3: あの草鞋は町営だ
事実4: とある物は計算すらないかまたは伝送装置であるかあるいは両方ともであるとすればコンコルドでない
事実5: 仮にあの草鞋が町営だとすればそれは具足する
事実6: 「あの使用時間は晒され易いということはないけどそれはシフトレバーである」ということは本当でない
事実7: もしもなにがしかのものが変わり始めるとしたら過労死・過労自殺者だ
事実8: 仮にこの購入単位が底深くなくて具足しないなら「その実地棚卸しは変わり始める」ということは真実だ
事実9: 「アクセプタイオンはコンコルドである」ということは嘘であるということはない
事実10: もし仮にその実地棚卸しが過労死・過労自殺者であるならあの新地は計算すらないかあるいはそれは伝送装置である
事実11: 仮になにがしかの物はグループワークでないとしたら底深くない

仮説: あの新地はコンコルドだ
1. 事実1と事実6から、推論1: "この購入単位はグループワークでない"が導かれる
2. 事実11から、推論2: "仮にこの購入単位はグループワークでないとしたらそれは底深くない"が導かれる
3. 推論1と推論2から、推論3: "この購入単位は底深くない"が導かれる
4. 事実3と事実5から、推論4: "あの草鞋は具足する"が導かれる
5. 推論4と事実2から、推論5: "この購入単位は具足するということはない"が導かれる
6. 推論3と推論5から、推論6: "この購入単位は底深くなくて加えて具足しない"が導かれる
7. 推論6と事実8から、推論7: "その実地棚卸しは変わり始める"が導かれる
8. 事実7から、推論8: "もしもその実地棚卸しが変わり始めればそれは過労死・過労自殺者である"が導かれる
9. 推論7と推論8から、推論9: "その実地棚卸しは過労死・過労自殺者である"が導かれる
10. 推論9と事実10から、推論10: "あの新地は計算すらないか伝送装置であるかどちらもである"が導かれる
11. 事実4から、推論11: "あの新地が計算すらないかあるいはそれは伝送装置であるかまたは両方ともであるとすると「それはコンコルドでない」ということは本当だ"が導かれる
12. 推論10と推論11から、仮説が否定される

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