このジャパン・ヘラルドは投げ合う
fact1: 「か細い」物はある fact2: 「もしも「このジャパン・ヘラルドは拭い切れるしそれは手広い」ということは成り立つということはないとすれば「このジャパン・ヘラルドは手広くない」ということは事実だ」ということは確かだ fact3: その補助機関は赤い fact4: もし仮にか細い物が引っ込めないとすればそれは赤いということはない fact5: もし「あの質的調査は遣り難いかもしくは残骸である」ということは成り立たないとすれば目敏くない fact6: このジャパン・ヘラルドは其れらしい fact7: もしもなんらかの物が赤くないとするとそれはほっぽり出すけれど其れらしくない fact8: 其れらしくないものは投げ合うし更に解け易い fact9: もし仮にあの質的調査が其れらしいし解け易いならばこのジャパン・ヘラルドは投げ合わない fact10: 仮にその補助機関は赤いならば「押し入るしそれは持てない」ということは成り立つということはない fact11: 仮にあの質的調査は目敏くないとしたら「このジャパン・ヘラルドは拭い切れるし更にそれは手広い」ということは偽である fact12: もし「か細い」物があればあの質的調査は其れらしいしほっぽり出す fact13: 仮にその補助機関は赤いとすれば「それは押し入るし持てる」ということは成り立たない fact14: もしあの質的調査が解け易くないならばその補助機関は押し入る一方で持てない fact15: 手広くないものはか細いけど引っ込めない
void -> assump1: 以下のように仮定する。「あの質的調査は解け易くない」ということは正しい; fact14 & assump1 -> int1: その補助機関は押し入るけれど持てない; fact10 & fact3 -> int2: 「その補助機関は押し入るがしかし持てない」ということは成り立たない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの質的調査は解け易い; fact12 & fact1 -> int5: 「あの質的調査は其れらしいしさらにほっぽり出す」ということは成り立つ; int5 -> int6: あの質的調査は其れらしい; int4 & int6 -> int7: 「あの質的調査は其れらしいしおまけに解け易い」ということは真実である; int7 & fact9 -> hypothesis;
このジャパン・ヘラルドは投げ合う
fact17 -> int8: 仮にこのジャパン・ヘラルドが其れらしくないならば投げ合うししかも解け易い; fact21 -> int9: もしこのジャパン・ヘラルドが赤くないとするとほっぽり出す一方で其れらしくない; fact19 -> int10: このジャパン・ヘラルドはか細いがしかし引っ込めないとするとそれは赤くない; fact20 -> int11: このジャパン・ヘラルドが手広くないとしたらか細いけど引っ込めない;
$facts$ = fact1: 「か細い」物はある fact2: 「もしも「このジャパン・ヘラルドは拭い切れるしそれは手広い」ということは成り立つということはないとすれば「このジャパン・ヘラルドは手広くない」ということは事実だ」ということは確かだ fact3: その補助機関は赤い fact4: もし仮にか細い物が引っ込めないとすればそれは赤いということはない fact5: もし「あの質的調査は遣り難いかもしくは残骸である」ということは成り立たないとすれば目敏くない fact6: このジャパン・ヘラルドは其れらしい fact7: もしもなんらかの物が赤くないとするとそれはほっぽり出すけれど其れらしくない fact8: 其れらしくないものは投げ合うし更に解け易い fact9: もし仮にあの質的調査が其れらしいし解け易いならばこのジャパン・ヘラルドは投げ合わない fact10: 仮にその補助機関は赤いならば「押し入るしそれは持てない」ということは成り立つということはない fact11: 仮にあの質的調査は目敏くないとしたら「このジャパン・ヘラルドは拭い切れるし更にそれは手広い」ということは偽である fact12: もし「か細い」物があればあの質的調査は其れらしいしほっぽり出す fact13: 仮にその補助機関は赤いとすれば「それは押し入るし持てる」ということは成り立たない fact14: もしあの質的調査が解け易くないならばその補助機関は押し入る一方で持てない fact15: 手広くないものはか細いけど引っ込めない ; $hypothesis$ = このジャパン・ヘラルドは投げ合う ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの質的調査は解け易くない」ということは正しい; fact14 & assump1 -> int1: その補助機関は押し入るけれど持てない; fact10 & fact3 -> int2: 「その補助機関は押し入るがしかし持てない」ということは成り立たない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの質的調査は解け易い; fact12 & fact1 -> int5: 「あの質的調査は其れらしいしさらにほっぽり出す」ということは成り立つ; int5 -> int6: あの質的調査は其れらしい; int4 & int6 -> int7: 「あの質的調査は其れらしいしおまけに解け易い」ということは真実である; int7 & fact9 -> hypothesis; __DISPROVED__
事実1: 「か細い」物はある
事実2: 「もしも「このジャパン・ヘラルドは拭い切れるしそれは手広い」ということは成り立つということはないとすれば「このジャパン・ヘラルドは手広くない」ということは事実だ」ということは確かだ
事実3: その補助機関は赤い
事実4: もし仮にか細い物が引っ込めないとすればそれは赤いということはない
事実5: もし「あの質的調査は遣り難いかもしくは残骸である」ということは成り立たないとすれば目敏くない
事実6: このジャパン・ヘラルドは其れらしい
事実7: もしもなんらかの物が赤くないとするとそれはほっぽり出すけれど其れらしくない
事実8: 其れらしくないものは投げ合うし更に解け易い
事実9: もし仮にあの質的調査が其れらしいし解け易いならばこのジャパン・ヘラルドは投げ合わない
事実10: 仮にその補助機関は赤いならば「押し入るしそれは持てない」ということは成り立つということはない
事実11: 仮にあの質的調査は目敏くないとしたら「このジャパン・ヘラルドは拭い切れるし更にそれは手広い」ということは偽である
事実12: もし「か細い」物があればあの質的調査は其れらしいしほっぽり出す
事実13: 仮にその補助機関は赤いとすれば「それは押し入るし持てる」ということは成り立たない
事実14: もしあの質的調査が解け易くないならばその補助機関は押し入る一方で持てない
事実15: 手広くないものはか細いけど引っ込めない

仮説: このジャパン・ヘラルドは投げ合う
1. 仮定1: 以下のように仮定する。「あの質的調査は解け易くない」ということは正しい
2. 事実14と仮定1から、推論1: "その補助機関は押し入るけれど持てない"が導かれる
3. 事実10と事実3から、推論2: "「その補助機関は押し入るがしかし持てない」ということは成り立たない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あの質的調査は解け易い"が導かれる
6. 事実12と事実1から、推論5: "「あの質的調査は其れらしいしさらにほっぽり出す」ということは成り立つ"が導かれる
7. 推論5から、推論6: "あの質的調査は其れらしい"が導かれる
8. 推論4と推論6から、推論7: "「あの質的調査は其れらしいしおまけに解け易い」ということは真実である"が導かれる
9. 推論7と事実9から、仮説が否定される

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