あの寝首は作業し易くない
fact1: とあるものは見極め難くないとすると「合併するが絡み合うということはない」ということは事実と異なる fact2: 「「手出ししないしおまけに捗々しいということはない」ということは成り立つということはない」物はある fact3: もし仮に「「あの中学校生活は捗々しいけど肯定的表現でない」ということは事実だ」ということは成り立たないとしたらあの技術的構成は合併しない fact4: もしあの寝首が捗々しいなら紙数である fact5: もし仮に「「ρＬでなくてまた手広くない」ということは成り立たない」物はあるとすると「あの寝首は手出ししない」ということは成り立つ fact6: もしある物は身軽いならば「捗々しくてさらに肯定的表現でない」ということは嘘である fact7: もしなにかは合併しないとしたら「それは紙数でないかもしくは絡み合わないかあるいは両方ともである」ということは間違っている fact8: もしも「何かは合併する一方で絡み合うということはない」ということは成り立たないとしたらそれは作業し易い fact9: その葦が作業し易くないしまた見極め難いということはないとするとあの寝首は作業し易くない fact10: もし仮にあるものが合併しないとすると作業し易い fact11: 「「ρＬであるし手広くない」ということは誤りである」物はある fact12: もし見極め難い物が手出ししないとしたら紙数でない fact13: 「この症状詳記はρＬだがしかし手広くない」ということは誤りだ fact14: あの寝首は捗々しい fact15: もし仮に「ρＬである」ものがあるならあの寝首は手出ししない fact16: 「この症状詳記は蛋白質合成系であるけど捗々しくない」ということは成り立たない fact17: あの中学校生活は身軽いし加えて買い込む fact18: もし仮にあの寝首が合併しないとすれば作業し易い fact19: 「ρＬでなくて手広いということはない」物はある fact20: もしその葦が見極め難くないとすればあの寝首は手出しするということはないしその上作業し易いない fact21: 「この症状詳記はρＬでなくておまけにそれは手広くない」ということは嘘だ fact22: 「「ρＬでない一方で手広い」ということは事実と異なる」ものはある
fact21 -> int1: 「「ρＬでなくてその上手広くない」ということは間違いな」ものはある; int1 & fact5 -> int2: あの寝首は手出ししない; void -> assump1: 以下のように仮定する。「あの寝首は見極め難い」ということは正しい; int2 & assump1 -> int3: あの寝首は見極め難いが手出ししない; fact12 -> int4: 仮にあの寝首が見極め難いけれどそれが手出ししないならそれは紙数でない; int3 & int4 -> int5: あの寝首は紙数でない; fact4 & fact14 -> int6: あの寝首は紙数だ; int5 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: あの寝首は見極め難くない; fact1 -> int9: もし仮にあの寝首は見極め難いということはないとすれば「合併するし絡み合わない」ということは誤っている; int8 & int9 -> int10: 「あの寝首は合併する一方で絡み合わない」ということは成り立たない; fact8 -> int11: もし仮に「あの寝首は合併するがしかし絡み合うということはない」ということは成り立つということはないとすると作業し易い; int10 & int11 -> hypothesis;
あの寝首は作業し易くない
$facts$ = fact1: とあるものは見極め難くないとすると「合併するが絡み合うということはない」ということは事実と異なる fact2: 「「手出ししないしおまけに捗々しいということはない」ということは成り立つということはない」物はある fact3: もし仮に「「あの中学校生活は捗々しいけど肯定的表現でない」ということは事実だ」ということは成り立たないとしたらあの技術的構成は合併しない fact4: もしあの寝首が捗々しいなら紙数である fact5: もし仮に「「ρＬでなくてまた手広くない」ということは成り立たない」物はあるとすると「あの寝首は手出ししない」ということは成り立つ fact6: もしある物は身軽いならば「捗々しくてさらに肯定的表現でない」ということは嘘である fact7: もしなにかは合併しないとしたら「それは紙数でないかもしくは絡み合わないかあるいは両方ともである」ということは間違っている fact8: もしも「何かは合併する一方で絡み合うということはない」ということは成り立たないとしたらそれは作業し易い fact9: その葦が作業し易くないしまた見極め難いということはないとするとあの寝首は作業し易くない fact10: もし仮にあるものが合併しないとすると作業し易い fact11: 「「ρＬであるし手広くない」ということは誤りである」物はある fact12: もし見極め難い物が手出ししないとしたら紙数でない fact13: 「この症状詳記はρＬだがしかし手広くない」ということは誤りだ fact14: あの寝首は捗々しい fact15: もし仮に「ρＬである」ものがあるならあの寝首は手出ししない fact16: 「この症状詳記は蛋白質合成系であるけど捗々しくない」ということは成り立たない fact17: あの中学校生活は身軽いし加えて買い込む fact18: もし仮にあの寝首が合併しないとすれば作業し易い fact19: 「ρＬでなくて手広いということはない」物はある fact20: もしその葦が見極め難くないとすればあの寝首は手出しするということはないしその上作業し易いない fact21: 「この症状詳記はρＬでなくておまけにそれは手広くない」ということは嘘だ fact22: 「「ρＬでない一方で手広い」ということは事実と異なる」ものはある ; $hypothesis$ = あの寝首は作業し易くない ; $proof$ = 
fact21 -> int1: 「「ρＬでなくてその上手広くない」ということは間違いな」ものはある; int1 & fact5 -> int2: あの寝首は手出ししない; void -> assump1: 以下のように仮定する。「あの寝首は見極め難い」ということは正しい; int2 & assump1 -> int3: あの寝首は見極め難いが手出ししない; fact12 -> int4: 仮にあの寝首が見極め難いけれどそれが手出ししないならそれは紙数でない; int3 & int4 -> int5: あの寝首は紙数でない; fact4 & fact14 -> int6: あの寝首は紙数だ; int5 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: あの寝首は見極め難くない; fact1 -> int9: もし仮にあの寝首は見極め難いということはないとすれば「合併するし絡み合わない」ということは誤っている; int8 & int9 -> int10: 「あの寝首は合併する一方で絡み合わない」ということは成り立たない; fact8 -> int11: もし仮に「あの寝首は合併するがしかし絡み合うということはない」ということは成り立つということはないとすると作業し易い; int10 & int11 -> hypothesis; __DISPROVED__
事実1: とあるものは見極め難くないとすると「合併するが絡み合うということはない」ということは事実と異なる
事実2: 「「手出ししないしおまけに捗々しいということはない」ということは成り立つということはない」物はある
事実3: もし仮に「「あの中学校生活は捗々しいけど肯定的表現でない」ということは事実だ」ということは成り立たないとしたらあの技術的構成は合併しない
事実4: もしあの寝首が捗々しいなら紙数である
事実5: もし仮に「「ρＬでなくてまた手広くない」ということは成り立たない」物はあるとすると「あの寝首は手出ししない」ということは成り立つ
事実6: もしある物は身軽いならば「捗々しくてさらに肯定的表現でない」ということは嘘である
事実7: もしなにかは合併しないとしたら「それは紙数でないかもしくは絡み合わないかあるいは両方ともである」ということは間違っている
事実8: もしも「何かは合併する一方で絡み合うということはない」ということは成り立たないとしたらそれは作業し易い
事実9: その葦が作業し易くないしまた見極め難いということはないとするとあの寝首は作業し易くない
事実10: もし仮にあるものが合併しないとすると作業し易い
事実11: 「「ρＬであるし手広くない」ということは誤りである」物はある
事実12: もし見極め難い物が手出ししないとしたら紙数でない
事実13: 「この症状詳記はρＬだがしかし手広くない」ということは誤りだ
事実14: あの寝首は捗々しい
事実15: もし仮に「ρＬである」ものがあるならあの寝首は手出ししない
事実16: 「この症状詳記は蛋白質合成系であるけど捗々しくない」ということは成り立たない
事実17: あの中学校生活は身軽いし加えて買い込む
事実18: もし仮にあの寝首が合併しないとすれば作業し易い
事実19: 「ρＬでなくて手広いということはない」物はある
事実20: もしその葦が見極め難くないとすればあの寝首は手出しするということはないしその上作業し易いない
事実21: 「この症状詳記はρＬでなくておまけにそれは手広くない」ということは嘘だ
事実22: 「「ρＬでない一方で手広い」ということは事実と異なる」ものはある

仮説: あの寝首は作業し易くない
1. 事実21から、推論1: "「「ρＬでなくてその上手広くない」ということは間違いな」ものはある"が導かれる
2. 推論1と事実5から、推論2: "あの寝首は手出ししない"が導かれる
3. 仮定1: 以下のように仮定する。「あの寝首は見極め難い」ということは正しい
4. 推論2と仮定1から、推論3: "あの寝首は見極め難いが手出ししない"が導かれる
5. 事実12から、推論4: "仮にあの寝首が見極め難いけれどそれが手出ししないならそれは紙数でない"が導かれる
6. 推論3と推論4から、推論5: "あの寝首は紙数でない"が導かれる
7. 事実4と事実14から、推論6: "あの寝首は紙数だ"が導かれる
8. 推論5と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、推論8: "あの寝首は見極め難くない"が導かれる
10. 事実1から、推論9: "もし仮にあの寝首は見極め難いということはないとすれば「合併するし絡み合わない」ということは誤っている"が導かれる
11. 推論8と推論9から、推論10: "「あの寝首は合併する一方で絡み合わない」ということは成り立たない"が導かれる
12. 事実8から、推論11: "もし仮に「あの寝首は合併するがしかし絡み合うということはない」ということは成り立つということはないとすると作業し易い"が導かれる
13. 推論10と推論11から、仮説が否定される

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