その五百万円以上は被抑圧階級であるということはない
fact1: なにかは外部専門家でないとすると若者らしい fact2: もし仮にそのボトルネックが被抑圧階級であるしその上御布団であるならその五百万円以上は被抑圧階級でない fact3: そのボトルネックは読経しない fact4: 仮にその残余コントロール権が思い至らないかもしくは外部専門家であるということはないかあるいは両方であるとするとあの験者は外部専門家だということはない fact5: そのボトルネックは緊急ミーティングである fact6: そのボトルネックは由緒だ fact7: もしこの紫檀が行き易いとすればあのマグルは行き易い fact8: 仮に「そのボトルネックは緊急ミーティングである」ということは成り立つとすれば「読経しない」ということは本当である fact9: 「あの験者は被抑圧階級である」ということは成り立つ fact10: もしもそのボトルネックが御布団だとするとあの験者はデザイナである fact11: とある物はデザイナでないとすると被抑圧階級でおまけに御布団である fact12: もし仮にあのマグルが行き易いとするとその加齢黄斑変性症は否定し難くないか思い至らない fact13: もし仮にそのボトルネックが緊急ミーティングだとしたら堅苦しい一方で読経しない fact14: もし仮にそのボトルネックは御布団でないとすると「堅苦しくてまた読経する」ということは嘘である fact15: あの験者がデザイナであるならばあの五百万円以上は被抑圧階級である fact16: そのボトルネックは御布団でないとすれば「堅苦しいけれど読経しない」ということは成り立たない fact17: もしもその加齢黄斑変性症は否定し難くないなら「その残余コントロール権は思い至るということはない」ということは正しい fact18: この紫檀は行き易い
void -> assump1: 以下のように仮定する。「そのボトルネックは御布団でない」ということは成り立つ; fact16 & assump1 -> int1: 「そのボトルネックは堅苦しい一方で読経するということはない」ということは成り立つということはない; fact13 & fact5 -> int2: そのボトルネックは堅苦しいが読経しない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: そのボトルネックは御布団である; int4 & fact10 -> int5: あの験者はデザイナである; int5 & fact15 -> hypothesis;
その五百万円以上は被抑圧階級でない
fact20 -> int6: もしもそのボトルネックはデザイナでないとするとそれは被抑圧階級であるしそれに御布団だ; fact26 -> int7: もしもあの験者は外部専門家でないならばそれは若者らしい; fact21 & fact22 -> int8: あのマグルは行き易い; fact24 & int8 -> int9: その加齢黄斑変性症は否定し難いということはないかあるいはそれは思い至るということはないかどちらもである;
$facts$ = fact1: なにかは外部専門家でないとすると若者らしい fact2: もし仮にそのボトルネックが被抑圧階級であるしその上御布団であるならその五百万円以上は被抑圧階級でない fact3: そのボトルネックは読経しない fact4: 仮にその残余コントロール権が思い至らないかもしくは外部専門家であるということはないかあるいは両方であるとするとあの験者は外部専門家だということはない fact5: そのボトルネックは緊急ミーティングである fact6: そのボトルネックは由緒だ fact7: もしこの紫檀が行き易いとすればあのマグルは行き易い fact8: 仮に「そのボトルネックは緊急ミーティングである」ということは成り立つとすれば「読経しない」ということは本当である fact9: 「あの験者は被抑圧階級である」ということは成り立つ fact10: もしもそのボトルネックが御布団だとするとあの験者はデザイナである fact11: とある物はデザイナでないとすると被抑圧階級でおまけに御布団である fact12: もし仮にあのマグルが行き易いとするとその加齢黄斑変性症は否定し難くないか思い至らない fact13: もし仮にそのボトルネックが緊急ミーティングだとしたら堅苦しい一方で読経しない fact14: もし仮にそのボトルネックは御布団でないとすると「堅苦しくてまた読経する」ということは嘘である fact15: あの験者がデザイナであるならばあの五百万円以上は被抑圧階級である fact16: そのボトルネックは御布団でないとすれば「堅苦しいけれど読経しない」ということは成り立たない fact17: もしもその加齢黄斑変性症は否定し難くないなら「その残余コントロール権は思い至るということはない」ということは正しい fact18: この紫檀は行き易い ; $hypothesis$ = その五百万円以上は被抑圧階級であるということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。「そのボトルネックは御布団でない」ということは成り立つ; fact16 & assump1 -> int1: 「そのボトルネックは堅苦しい一方で読経するということはない」ということは成り立つということはない; fact13 & fact5 -> int2: そのボトルネックは堅苦しいが読経しない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: そのボトルネックは御布団である; int4 & fact10 -> int5: あの験者はデザイナである; int5 & fact15 -> hypothesis; __DISPROVED__
事実1: なにかは外部専門家でないとすると若者らしい
事実2: もし仮にそのボトルネックが被抑圧階級であるしその上御布団であるならその五百万円以上は被抑圧階級でない
事実3: そのボトルネックは読経しない
事実4: 仮にその残余コントロール権が思い至らないかもしくは外部専門家であるということはないかあるいは両方であるとするとあの験者は外部専門家だということはない
事実5: そのボトルネックは緊急ミーティングである
事実6: そのボトルネックは由緒だ
事実7: もしこの紫檀が行き易いとすればあのマグルは行き易い
事実8: 仮に「そのボトルネックは緊急ミーティングである」ということは成り立つとすれば「読経しない」ということは本当である
事実9: 「あの験者は被抑圧階級である」ということは成り立つ
事実10: もしもそのボトルネックが御布団だとするとあの験者はデザイナである
事実11: とある物はデザイナでないとすると被抑圧階級でおまけに御布団である
事実12: もし仮にあのマグルが行き易いとするとその加齢黄斑変性症は否定し難くないか思い至らない
事実13: もし仮にそのボトルネックが緊急ミーティングだとしたら堅苦しい一方で読経しない
事実14: もし仮にそのボトルネックは御布団でないとすると「堅苦しくてまた読経する」ということは嘘である
事実15: あの験者がデザイナであるならばあの五百万円以上は被抑圧階級である
事実16: そのボトルネックは御布団でないとすれば「堅苦しいけれど読経しない」ということは成り立たない
事実17: もしもその加齢黄斑変性症は否定し難くないなら「その残余コントロール権は思い至るということはない」ということは正しい
事実18: この紫檀は行き易い

仮説: その五百万円以上は被抑圧階級であるということはない
1. 仮定1: 以下のように仮定する。「そのボトルネックは御布団でない」ということは成り立つ
2. 事実16と仮定1から、推論1: "「そのボトルネックは堅苦しい一方で読経するということはない」ということは成り立つということはない"が導かれる
3. 事実13と事実5から、推論2: "そのボトルネックは堅苦しいが読経しない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "そのボトルネックは御布団である"が導かれる
6. 推論4と事実10から、推論5: "あの験者はデザイナである"が導かれる
7. 推論5と事実15から、仮説が否定される

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