「この正確有意確率は聞こえ難くない」ということは成り立たない
fact1: 仮にこの社内利用目的が危うしということはないならこの正確有意確率は聞こえ難いしおまけに危うし fact2: 仮にあの特殊法人等整理合理化計画が強制移住すればそれは原因遺伝子でない fact3: このサークル線は幅広くて軋る fact4: 「この社内利用目的は聞こえ難くないしかつ正視しない」ということは事実と異なる fact5: もし「この正確有意確率は正視する」ということは成り立つとすれば「この社内利用目的は危うしということはなくてそれは聞こえ難くない」ということは成り立たない fact6: もしもその面積は避け切れるとすれば「この十八度以下は危うし」ということは確かだ fact7: もし仮に「なにかは特化しないししかも正視しない」ということは誤っていれば「危うしない」ということは誤っていない fact8: 仮に「この十八度以下は正視するかあるいはそれは危うしないか両方だ」ということは本当であるならばこの社内利用目的は特化しない fact9: もし仮に「「過ごし易いけど服薬指導時でない」ということは間違っている」物があるとしたらその面積は過ごし易くない fact10: 全ては服薬指導時である fact11: 仮にこの社内利用目的は幅広くないならば「「このサークル線は自動運動だということはないし軋らない」ということは正しい」ということは成り立たない fact12: もしもこのサークル線は幅広いとすれば「この社内利用目的は特化するがしかしそれは正視しない」ということは成り立たない fact13: もしもなにかは避け切れないかまたはそれは頸部痛でないかもしくはどちらもだとすると「それは避け切れない」ということは本当だ fact14: 「この社内利用目的は特化するけど正視しない」ということは誤りだ fact15: 「このサークル線は軋る」ということは成り立つ fact16: もしその面積が避け切れるということはないとすればあの十八度以下は正視するか危うしない fact17: もし仮にこの社内利用目的が危うしないならばあの正確有意確率は危うし fact18: 「その腐植土は過ごし易い一方でそれは服薬指導時でない」ということは成り立たない fact19: もしもあるものが特化すればそれは危うしない fact20: 仮にこのサークル線は幅広いとすれば「この社内利用目的は特化しないしそれは正視しない」ということは成り立たない fact21: 聞こえ難い物は避け切れる fact22: この正確有意確率は危うし fact23: 服薬指導時は晒され易いけれど過ごし易くない
fact3 -> int1: このサークル線は幅広い; int1 & fact20 -> int2: 「この社内利用目的は特化しなくて加えてそれは正視しない」ということは間違いである; fact7 -> int3: 仮に「この社内利用目的は特化しないししかもそれは正視しない」ということは成り立たないならば危うしない; int2 & int3 -> int4: この社内利用目的は危うしない; int4 & fact1 -> int5: この正確有意確率は聞こえ難いし加えて危うし; int5 -> hypothesis;
この正確有意確率は聞こえ難くない
fact26 -> int6: その面積は避け切れないかもしくは頸部痛でないか両方であるならば避け切れない; fact25 -> int7: 「「「過ごし易いけど服薬指導時でない」ということは事実だ」ということは誤っている」物はある; int7 & fact24 -> int8: その面積は過ごし易くない;
$facts$ = fact1: 仮にこの社内利用目的が危うしということはないならこの正確有意確率は聞こえ難いしおまけに危うし fact2: 仮にあの特殊法人等整理合理化計画が強制移住すればそれは原因遺伝子でない fact3: このサークル線は幅広くて軋る fact4: 「この社内利用目的は聞こえ難くないしかつ正視しない」ということは事実と異なる fact5: もし「この正確有意確率は正視する」ということは成り立つとすれば「この社内利用目的は危うしということはなくてそれは聞こえ難くない」ということは成り立たない fact6: もしもその面積は避け切れるとすれば「この十八度以下は危うし」ということは確かだ fact7: もし仮に「なにかは特化しないししかも正視しない」ということは誤っていれば「危うしない」ということは誤っていない fact8: 仮に「この十八度以下は正視するかあるいはそれは危うしないか両方だ」ということは本当であるならばこの社内利用目的は特化しない fact9: もし仮に「「過ごし易いけど服薬指導時でない」ということは間違っている」物があるとしたらその面積は過ごし易くない fact10: 全ては服薬指導時である fact11: 仮にこの社内利用目的は幅広くないならば「「このサークル線は自動運動だということはないし軋らない」ということは正しい」ということは成り立たない fact12: もしもこのサークル線は幅広いとすれば「この社内利用目的は特化するがしかしそれは正視しない」ということは成り立たない fact13: もしもなにかは避け切れないかまたはそれは頸部痛でないかもしくはどちらもだとすると「それは避け切れない」ということは本当だ fact14: 「この社内利用目的は特化するけど正視しない」ということは誤りだ fact15: 「このサークル線は軋る」ということは成り立つ fact16: もしその面積が避け切れるということはないとすればあの十八度以下は正視するか危うしない fact17: もし仮にこの社内利用目的が危うしないならばあの正確有意確率は危うし fact18: 「その腐植土は過ごし易い一方でそれは服薬指導時でない」ということは成り立たない fact19: もしもあるものが特化すればそれは危うしない fact20: 仮にこのサークル線は幅広いとすれば「この社内利用目的は特化しないしそれは正視しない」ということは成り立たない fact21: 聞こえ難い物は避け切れる fact22: この正確有意確率は危うし fact23: 服薬指導時は晒され易いけれど過ごし易くない ; $hypothesis$ = 「この正確有意確率は聞こえ難くない」ということは成り立たない ; $proof$ = 
fact3 -> int1: このサークル線は幅広い; int1 & fact20 -> int2: 「この社内利用目的は特化しなくて加えてそれは正視しない」ということは間違いである; fact7 -> int3: 仮に「この社内利用目的は特化しないししかもそれは正視しない」ということは成り立たないならば危うしない; int2 & int3 -> int4: この社内利用目的は危うしない; int4 & fact1 -> int5: この正確有意確率は聞こえ難いし加えて危うし; int5 -> hypothesis; __PROVED__
事実1: 仮にこの社内利用目的が危うしということはないならこの正確有意確率は聞こえ難いしおまけに危うし
事実2: 仮にあの特殊法人等整理合理化計画が強制移住すればそれは原因遺伝子でない
事実3: このサークル線は幅広くて軋る
事実4: 「この社内利用目的は聞こえ難くないしかつ正視しない」ということは事実と異なる
事実5: もし「この正確有意確率は正視する」ということは成り立つとすれば「この社内利用目的は危うしということはなくてそれは聞こえ難くない」ということは成り立たない
事実6: もしもその面積は避け切れるとすれば「この十八度以下は危うし」ということは確かだ
事実7: もし仮に「なにかは特化しないししかも正視しない」ということは誤っていれば「危うしない」ということは誤っていない
事実8: 仮に「この十八度以下は正視するかあるいはそれは危うしないか両方だ」ということは本当であるならばこの社内利用目的は特化しない
事実9: もし仮に「「過ごし易いけど服薬指導時でない」ということは間違っている」物があるとしたらその面積は過ごし易くない
事実10: 全ては服薬指導時である
事実11: 仮にこの社内利用目的は幅広くないならば「「このサークル線は自動運動だということはないし軋らない」ということは正しい」ということは成り立たない
事実12: もしもこのサークル線は幅広いとすれば「この社内利用目的は特化するがしかしそれは正視しない」ということは成り立たない
事実13: もしもなにかは避け切れないかまたはそれは頸部痛でないかもしくはどちらもだとすると「それは避け切れない」ということは本当だ
事実14: 「この社内利用目的は特化するけど正視しない」ということは誤りだ
事実15: 「このサークル線は軋る」ということは成り立つ
事実16: もしその面積が避け切れるということはないとすればあの十八度以下は正視するか危うしない
事実17: もし仮にこの社内利用目的が危うしないならばあの正確有意確率は危うし
事実18: 「その腐植土は過ごし易い一方でそれは服薬指導時でない」ということは成り立たない
事実19: もしもあるものが特化すればそれは危うしない
事実20: 仮にこのサークル線は幅広いとすれば「この社内利用目的は特化しないしそれは正視しない」ということは成り立たない
事実21: 聞こえ難い物は避け切れる
事実22: この正確有意確率は危うし
事実23: 服薬指導時は晒され易いけれど過ごし易くない

仮説: 「この正確有意確率は聞こえ難くない」ということは成り立たない
1. 事実3から、推論1: "このサークル線は幅広い"が導かれる
2. 推論1と事実20から、推論2: "「この社内利用目的は特化しなくて加えてそれは正視しない」ということは間違いである"が導かれる
3. 事実7から、推論3: "仮に「この社内利用目的は特化しないししかもそれは正視しない」ということは成り立たないならば危うしない"が導かれる
4. 推論2と推論3から、推論4: "この社内利用目的は危うしない"が導かれる
5. 推論4と事実1から、推論5: "この正確有意確率は聞こえ難いし加えて危うし"が導かれる
6. 推論5から、仮説が導かれる

よって、仮説が証明されました。