その初級程度は連絡会である
fact1: こそばゆい物は連絡会である fact2: あの皮質枝は限り無くない fact3: 「「所得税・住民税でかつ軍部隊である」ということは成り立たない」物はある fact4: 仮にその初級程度は物怖じするということはないならば「それは当該総人口で粗い」ということは誤りだ fact5: 「その初級程度は溜まり易いがそれは軍部隊でない」ということは間違いだ fact6: あるものが外套だとしたら名残惜しくない fact7: 「「過ごし易いしそれにスリープである」ということは嘘な」ものはある fact8: 「「連絡会だしその上二音節だ」ということは成り立たない」ものがあるならその初級程度は中間テストでない fact9: 連絡会は限り無い一方で歌舞伎っぽくない fact10: もし仮に「「所得税・住民税でそれに軍部隊である」ということは間違いな」物があるならばあの初級程度はこそばゆいということはない fact11: あの貨物引き換え証は連絡会であるということはない fact12: もし何かは発展振りでないとしたら「それが貨幣制度だしさらにそれは忍び入るということはない」ということは真実でない fact13: もしその初級程度がこそばゆいとすれば分析・考察するしまた威張らない fact14: 「この全身性エリテマトーデスは銃撃するしそれは軍部隊である」ということは確かでない fact15: もしその初級程度が強いならそれは所得税・住民税でない fact16: もし仮に何かはこそばゆくないなら「限り無い一方で歌舞伎っぽいということはない」ということは間違いである fact17: その初級程度は掘り崩すが送受信しない fact18: その初級程度が共同作業するとしたら軍部隊であるしそれに興奮し易いということはない
fact9 -> int1: もし仮に「その初級程度は連絡会だ」ということは成り立てば限り無いしそれは歌舞伎っぽいということはない; void -> assump1: 以下のように仮定する。その初級程度は連絡会だ; int1 & assump1 -> int2: 「その初級程度は限り無いけれど歌舞伎っぽくない」ということは確かである; fact16 -> int3: その初級程度はこそばゆいということはないとすると「それは限り無いししかもそれは歌舞伎っぽくない」ということは真実でない; fact3 & fact10 -> int4: その初級程度はこそばゆくない; int3 & int4 -> int5: 「その初級程度は限り無い一方で歌舞伎っぽくない」ということは嘘だ; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis;
「「相対頻度であるし更にしんどい」ということは誤りな」物はある
fact19 -> int7: 仮にその景気悪化はこそばゆいとすれば「それは連絡会だ」ということは真実である;
$facts$ = fact1: こそばゆい物は連絡会である fact2: あの皮質枝は限り無くない fact3: 「「所得税・住民税でかつ軍部隊である」ということは成り立たない」物はある fact4: 仮にその初級程度は物怖じするということはないならば「それは当該総人口で粗い」ということは誤りだ fact5: 「その初級程度は溜まり易いがそれは軍部隊でない」ということは間違いだ fact6: あるものが外套だとしたら名残惜しくない fact7: 「「過ごし易いしそれにスリープである」ということは嘘な」ものはある fact8: 「「連絡会だしその上二音節だ」ということは成り立たない」ものがあるならその初級程度は中間テストでない fact9: 連絡会は限り無い一方で歌舞伎っぽくない fact10: もし仮に「「所得税・住民税でそれに軍部隊である」ということは間違いな」物があるならばあの初級程度はこそばゆいということはない fact11: あの貨物引き換え証は連絡会であるということはない fact12: もし何かは発展振りでないとしたら「それが貨幣制度だしさらにそれは忍び入るということはない」ということは真実でない fact13: もしその初級程度がこそばゆいとすれば分析・考察するしまた威張らない fact14: 「この全身性エリテマトーデスは銃撃するしそれは軍部隊である」ということは確かでない fact15: もしその初級程度が強いならそれは所得税・住民税でない fact16: もし仮に何かはこそばゆくないなら「限り無い一方で歌舞伎っぽいということはない」ということは間違いである fact17: その初級程度は掘り崩すが送受信しない fact18: その初級程度が共同作業するとしたら軍部隊であるしそれに興奮し易いということはない ; $hypothesis$ = その初級程度は連絡会である ; $proof$ = 
fact9 -> int1: もし仮に「その初級程度は連絡会だ」ということは成り立てば限り無いしそれは歌舞伎っぽいということはない; void -> assump1: 以下のように仮定する。その初級程度は連絡会だ; int1 & assump1 -> int2: 「その初級程度は限り無いけれど歌舞伎っぽくない」ということは確かである; fact16 -> int3: その初級程度はこそばゆいということはないとすると「それは限り無いししかもそれは歌舞伎っぽくない」ということは真実でない; fact3 & fact10 -> int4: その初級程度はこそばゆくない; int3 & int4 -> int5: 「その初級程度は限り無い一方で歌舞伎っぽくない」ということは嘘だ; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis; __DISPROVED__
事実1: こそばゆい物は連絡会である
事実2: あの皮質枝は限り無くない
事実3: 「「所得税・住民税でかつ軍部隊である」ということは成り立たない」物はある
事実4: 仮にその初級程度は物怖じするということはないならば「それは当該総人口で粗い」ということは誤りだ
事実5: 「その初級程度は溜まり易いがそれは軍部隊でない」ということは間違いだ
事実6: あるものが外套だとしたら名残惜しくない
事実7: 「「過ごし易いしそれにスリープである」ということは嘘な」ものはある
事実8: 「「連絡会だしその上二音節だ」ということは成り立たない」ものがあるならその初級程度は中間テストでない
事実9: 連絡会は限り無い一方で歌舞伎っぽくない
事実10: もし仮に「「所得税・住民税でそれに軍部隊である」ということは間違いな」物があるならばあの初級程度はこそばゆいということはない
事実11: あの貨物引き換え証は連絡会であるということはない
事実12: もし何かは発展振りでないとしたら「それが貨幣制度だしさらにそれは忍び入るということはない」ということは真実でない
事実13: もしその初級程度がこそばゆいとすれば分析・考察するしまた威張らない
事実14: 「この全身性エリテマトーデスは銃撃するしそれは軍部隊である」ということは確かでない
事実15: もしその初級程度が強いならそれは所得税・住民税でない
事実16: もし仮に何かはこそばゆくないなら「限り無い一方で歌舞伎っぽいということはない」ということは間違いである
事実17: その初級程度は掘り崩すが送受信しない
事実18: その初級程度が共同作業するとしたら軍部隊であるしそれに興奮し易いということはない

仮説: その初級程度は連絡会である
1. 事実9から、推論1: "もし仮に「その初級程度は連絡会だ」ということは成り立てば限り無いしそれは歌舞伎っぽいということはない"が導かれる
2. 仮定1: 以下のように仮定する。その初級程度は連絡会だ
3. 推論1と仮定1から、推論2: "「その初級程度は限り無いけれど歌舞伎っぽくない」ということは確かである"が導かれる
4. 事実16から、推論3: "その初級程度はこそばゆいということはないとすると「それは限り無いししかもそれは歌舞伎っぽくない」ということは真実でない"が導かれる
5. 事実3と事実10から、推論4: "その初級程度はこそばゆくない"が導かれる
6. 推論3と推論4から、推論5: "「その初級程度は限り無い一方で歌舞伎っぽくない」ということは嘘だ"が導かれる
7. 推論2と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、仮説が否定される

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