「あのエリート層はたどたどしくない」ということは本当である
fact1: あのエリート層は疑い深くないかあるいはそれはたどたどしいかあるいはどちらもである fact2: もしもその仙がリーダー機でないかまたはそれが疑い深くないかまたは両方であるとしたらあのエリート層はたどたどしい fact3: その七十年代末はアバウトでない fact4: その仙はたどたどしくないかもしくは疑い深いかもしくはどちらもだ fact5: 仮にあのエリート層がアバウトでないかあるいはそれはたどたどしくないなら「その仙はリーダー機だ」ということは真実だ fact6: その仙は疑い深いということはなくてそれはアバウトでない fact7: 「あの回転角度は疑い深くない」ということは成り立つ fact8: その仙はたどたどしくない fact9: その第十一飛行教育団がむさくるしくて更に公開出来るとしたらその仙はリーダー機でない fact10: そのレコード業界はリーダー機であるということはない fact11: 「その仙は御誘いする」ということは成り立つ fact12: なにがしかの物はリーダー機であるということはないとすると「アバウトであるということはなくてそれは疑い深い」ということは確かでない fact13: その仙は夥しくない fact14: その仙はアバウトでないかそれはたどたどしいかまたはどちらもだ fact15: その仙は膨潤する fact16: その仙はリーダー機であるかもしくは疑い深くない
fact6 -> int1: その仙は疑い深くない; int1 -> int2: その仙はリーダー機でないか疑い深くない; int2 & fact2 -> hypothesis;
あのエリート層はたどたどしくない
fact18 -> int3: もしもその仙はリーダー機でないとしたら「アバウトでなくてかつ疑い深い」ということは誤りだ;
$facts$ = fact1: あのエリート層は疑い深くないかあるいはそれはたどたどしいかあるいはどちらもである fact2: もしもその仙がリーダー機でないかまたはそれが疑い深くないかまたは両方であるとしたらあのエリート層はたどたどしい fact3: その七十年代末はアバウトでない fact4: その仙はたどたどしくないかもしくは疑い深いかもしくはどちらもだ fact5: 仮にあのエリート層がアバウトでないかあるいはそれはたどたどしくないなら「その仙はリーダー機だ」ということは真実だ fact6: その仙は疑い深いということはなくてそれはアバウトでない fact7: 「あの回転角度は疑い深くない」ということは成り立つ fact8: その仙はたどたどしくない fact9: その第十一飛行教育団がむさくるしくて更に公開出来るとしたらその仙はリーダー機でない fact10: そのレコード業界はリーダー機であるということはない fact11: 「その仙は御誘いする」ということは成り立つ fact12: なにがしかの物はリーダー機であるということはないとすると「アバウトであるということはなくてそれは疑い深い」ということは確かでない fact13: その仙は夥しくない fact14: その仙はアバウトでないかそれはたどたどしいかまたはどちらもだ fact15: その仙は膨潤する fact16: その仙はリーダー機であるかもしくは疑い深くない ; $hypothesis$ = 「あのエリート層はたどたどしくない」ということは本当である ; $proof$ = 
fact6 -> int1: その仙は疑い深くない; int1 -> int2: その仙はリーダー機でないか疑い深くない; int2 & fact2 -> hypothesis; __DISPROVED__
事実1: あのエリート層は疑い深くないかあるいはそれはたどたどしいかあるいはどちらもである
事実2: もしもその仙がリーダー機でないかまたはそれが疑い深くないかまたは両方であるとしたらあのエリート層はたどたどしい
事実3: その七十年代末はアバウトでない
事実4: その仙はたどたどしくないかもしくは疑い深いかもしくはどちらもだ
事実5: 仮にあのエリート層がアバウトでないかあるいはそれはたどたどしくないなら「その仙はリーダー機だ」ということは真実だ
事実6: その仙は疑い深いということはなくてそれはアバウトでない
事実7: 「あの回転角度は疑い深くない」ということは成り立つ
事実8: その仙はたどたどしくない
事実9: その第十一飛行教育団がむさくるしくて更に公開出来るとしたらその仙はリーダー機でない
事実10: そのレコード業界はリーダー機であるということはない
事実11: 「その仙は御誘いする」ということは成り立つ
事実12: なにがしかの物はリーダー機であるということはないとすると「アバウトであるということはなくてそれは疑い深い」ということは確かでない
事実13: その仙は夥しくない
事実14: その仙はアバウトでないかそれはたどたどしいかまたはどちらもだ
事実15: その仙は膨潤する
事実16: その仙はリーダー機であるかもしくは疑い深くない

仮説: 「あのエリート層はたどたどしくない」ということは本当である
1. 事実6から、推論1: "その仙は疑い深くない"が導かれる
2. 推論1から、推論2: "その仙はリーダー機でないか疑い深くない"が導かれる
3. 推論2と事実2から、仮説が否定される

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