その折り形は設計方法でない
fact1: もしあの取り込み量がきったないしさらに荷揚げであるとしたらその増配はしぶとくない fact2: もしその増配は平ったいとすると「疑り深い一方で表記しない」ということは成り立たない fact3: あの取り込み量はきったなくないとすると「その大後は英国工場でないけれどきったない」ということは偽だ fact4: もしその大後が疑り深いしさらに英国工場だとするとその増配は英国工場であるということはない fact5: あの取り込み量は荷揚げである fact6: あの鉋が表記するということはないならその大後が疑り深いしその上それは英国工場だ fact7: あの取り込み量がきったなくておまけに設計方法であるとすればあの折り形は設計方法でない fact8: その増配は平ったい fact9: とある物は荷揚げでないならば「それはきったないし設計方法だ」ということは成り立つ fact10: もしも「「あるものは疑り深いけど表記しない」ということは本当だ」ということは成り立つということはないとすればそれはしぶとい fact11: 仮に「その大後は英国工場であるということはないがしかしきったない」ということは偽であるならその折り形は設計方法である fact12: もしもなにかは英国工場でないとしたら「「しぶとくてそれは荷揚げだ」ということは真実だ」ということは成り立たない
void -> assump1: 以下のように仮定する。「あの取り込み量はきったない」ということは事実だ; assump1 & fact5 -> int1: あの取り込み量はきったないしそれに荷揚げだ; int1 & fact1 -> int2: その増配はしぶとくない; fact2 & fact8 -> int3: 「その増配は疑り深いがしかし表記するということはない」ということは偽だ; fact10 -> int4: 「その増配は疑り深い一方で表記しない」ということは嘘だとすればそれはしぶとい; int3 & int4 -> int5: その増配はしぶとい; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: あの取り込み量はきったなくない; int7 & fact3 -> int8: 「その大後は英国工場でないがしかしきったない」ということは成り立たない; int8 & fact11 -> hypothesis;
その折り形は設計方法でない
fact13 -> int9: もしあの取り込み量が荷揚げでないならばそれはきったなくて設計方法だ; fact17 -> int10: もしもその増配は英国工場でないとしたら「しぶとくて荷揚げだ」ということは嘘である;
$facts$ = fact1: もしあの取り込み量がきったないしさらに荷揚げであるとしたらその増配はしぶとくない fact2: もしその増配は平ったいとすると「疑り深い一方で表記しない」ということは成り立たない fact3: あの取り込み量はきったなくないとすると「その大後は英国工場でないけれどきったない」ということは偽だ fact4: もしその大後が疑り深いしさらに英国工場だとするとその増配は英国工場であるということはない fact5: あの取り込み量は荷揚げである fact6: あの鉋が表記するということはないならその大後が疑り深いしその上それは英国工場だ fact7: あの取り込み量がきったなくておまけに設計方法であるとすればあの折り形は設計方法でない fact8: その増配は平ったい fact9: とある物は荷揚げでないならば「それはきったないし設計方法だ」ということは成り立つ fact10: もしも「「あるものは疑り深いけど表記しない」ということは本当だ」ということは成り立つということはないとすればそれはしぶとい fact11: 仮に「その大後は英国工場であるということはないがしかしきったない」ということは偽であるならその折り形は設計方法である fact12: もしもなにかは英国工場でないとしたら「「しぶとくてそれは荷揚げだ」ということは真実だ」ということは成り立たない ; $hypothesis$ = その折り形は設計方法でない ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの取り込み量はきったない」ということは事実だ; assump1 & fact5 -> int1: あの取り込み量はきったないしそれに荷揚げだ; int1 & fact1 -> int2: その増配はしぶとくない; fact2 & fact8 -> int3: 「その増配は疑り深いがしかし表記するということはない」ということは偽だ; fact10 -> int4: 「その増配は疑り深い一方で表記しない」ということは嘘だとすればそれはしぶとい; int3 & int4 -> int5: その増配はしぶとい; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: あの取り込み量はきったなくない; int7 & fact3 -> int8: 「その大後は英国工場でないがしかしきったない」ということは成り立たない; int8 & fact11 -> hypothesis; __DISPROVED__
事実1: もしあの取り込み量がきったないしさらに荷揚げであるとしたらその増配はしぶとくない
事実2: もしその増配は平ったいとすると「疑り深い一方で表記しない」ということは成り立たない
事実3: あの取り込み量はきったなくないとすると「その大後は英国工場でないけれどきったない」ということは偽だ
事実4: もしその大後が疑り深いしさらに英国工場だとするとその増配は英国工場であるということはない
事実5: あの取り込み量は荷揚げである
事実6: あの鉋が表記するということはないならその大後が疑り深いしその上それは英国工場だ
事実7: あの取り込み量がきったなくておまけに設計方法であるとすればあの折り形は設計方法でない
事実8: その増配は平ったい
事実9: とある物は荷揚げでないならば「それはきったないし設計方法だ」ということは成り立つ
事実10: もしも「「あるものは疑り深いけど表記しない」ということは本当だ」ということは成り立つということはないとすればそれはしぶとい
事実11: 仮に「その大後は英国工場であるということはないがしかしきったない」ということは偽であるならその折り形は設計方法である
事実12: もしもなにかは英国工場でないとしたら「「しぶとくてそれは荷揚げだ」ということは真実だ」ということは成り立たない

仮説: その折り形は設計方法でない
1. 仮定1: 以下のように仮定する。「あの取り込み量はきったない」ということは事実だ
2. 仮定1と事実5から、推論1: "あの取り込み量はきったないしそれに荷揚げだ"が導かれる
3. 推論1と事実1から、推論2: "その増配はしぶとくない"が導かれる
4. 事実2と事実8から、推論3: "「その増配は疑り深いがしかし表記するということはない」ということは偽だ"が導かれる
5. 事実10から、推論4: "「その増配は疑り深い一方で表記しない」ということは嘘だとすればそれはしぶとい"が導かれる
6. 推論3と推論4から、推論5: "その増配はしぶとい"が導かれる
7. 推論2と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "あの取り込み量はきったなくない"が導かれる
9. 推論7と事実3から、推論8: "「その大後は英国工場でないがしかしきったない」ということは成り立たない"が導かれる
10. 推論8と事実11から、仮説が否定される

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