あのハイパー研究所は分権委側でない
fact1: もしも何かは拡大・発展するがしかし獅子頭でないとしたらそれは引き抜ける fact2: とある物はアングラムであるならばそれは分権委側だ fact3: もし仮にこの名義貸しが母貝だとすればあのハイパー研究所は拡大・発展するけれど獅子頭でない fact4: もしなんらかのものが引き抜けるとしたらそれはアングラムである fact5: この名義貸しは母貝である
fact1 -> int1: もしもあのハイパー研究所は拡大・発展する一方で獅子頭だということはないとしたら引き抜ける; fact3 & fact5 -> int2: あのハイパー研究所は拡大・発展するが獅子頭であるということはない; int1 & int2 -> int3: あのハイパー研究所は引き抜ける; fact4 -> int4: もしもあのハイパー研究所が引き抜けるならアングラムだ; int3 & int4 -> int5: あのハイパー研究所はアングラムである; fact2 -> int6: あのハイパー研究所はアングラムであるとするとそれは分権委側である; int5 & int6 -> hypothesis;
$facts$ = fact1: もしも何かは拡大・発展するがしかし獅子頭でないとしたらそれは引き抜ける fact2: とある物はアングラムであるならばそれは分権委側だ fact3: もし仮にこの名義貸しが母貝だとすればあのハイパー研究所は拡大・発展するけれど獅子頭でない fact4: もしなんらかのものが引き抜けるとしたらそれはアングラムである fact5: この名義貸しは母貝である ; $hypothesis$ = あのハイパー研究所は分権委側でない ; $proof$ = 
fact1 -> int1: もしもあのハイパー研究所は拡大・発展する一方で獅子頭だということはないとしたら引き抜ける; fact3 & fact5 -> int2: あのハイパー研究所は拡大・発展するが獅子頭であるということはない; int1 & int2 -> int3: あのハイパー研究所は引き抜ける; fact4 -> int4: もしもあのハイパー研究所が引き抜けるならアングラムだ; int3 & int4 -> int5: あのハイパー研究所はアングラムである; fact2 -> int6: あのハイパー研究所はアングラムであるとするとそれは分権委側である; int5 & int6 -> hypothesis; __DISPROVED__
事実1: もしも何かは拡大・発展するがしかし獅子頭でないとしたらそれは引き抜ける
事実2: とある物はアングラムであるならばそれは分権委側だ
事実3: もし仮にこの名義貸しが母貝だとすればあのハイパー研究所は拡大・発展するけれど獅子頭でない
事実4: もしなんらかのものが引き抜けるとしたらそれはアングラムである
事実5: この名義貸しは母貝である

仮説: あのハイパー研究所は分権委側でない
1. 事実1から、推論1: "もしもあのハイパー研究所は拡大・発展する一方で獅子頭だということはないとしたら引き抜ける"が導かれる
2. 事実3と事実5から、推論2: "あのハイパー研究所は拡大・発展するが獅子頭であるということはない"が導かれる
3. 推論1と推論2から、推論3: "あのハイパー研究所は引き抜ける"が導かれる
4. 事実4から、推論4: "もしもあのハイパー研究所が引き抜けるならアングラムだ"が導かれる
5. 推論3と推論4から、推論5: "あのハイパー研究所はアングラムである"が導かれる
6. 事実2から、推論6: "あのハイパー研究所はアングラムであるとするとそれは分権委側である"が導かれる
7. 推論5と推論6から、仮説が否定される

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