「あのショートブーツは体得しないか撥ね付けるということはないかあるいは両方ともである」ということは成り立つ
fact1: そのスペイン風邪はすっごーくないかあるいは概念装置でないかまたは両方ともだ fact2: あのショートブーツは体得するかもしくはそれは撥ね付けないか両方である fact3: 何らかのものは体得しない fact4: もし仮に選択し易くない物があるとするとあのショートブーツは体得しないかもしくは撥ね付けないかまたは両方ともである fact5: もし仮に「すっごーくない」物があるならこの構造ペインは概念装置であるか選択し易くないかあるいは両方である fact6: もし仮に「すっごーくないかあるいは選択し易くないかもしくはどちらもである」ものがあるとしたらそのスペイン風邪は体得しない fact7: 仮に「すっごーくない」物があるならそのスペイン風邪は撥ね付けないかあるいは体得するということはないかもしくは両方ともだ fact8: もし「概念装置でない」ものがあるとすればこの構造ペインは選択し易くない fact9: もし「すっごーくないか概念装置でないか両方な」ものがあるならこの構造ペインは選択し易くない fact10: もしもなにがしかの物がすっごーくないとしたらそのスペイン風邪は体得するかまたは撥ね付けないかどちらもだ fact11: 「すっごーくないかあるいは概念装置であるかあるいは両方ともな」ものはある fact12: あのショートブーツは泊まらない fact13: 「この構造ペインは概念装置だけれどＷＴＩだということはない」ということは成り立たないとすればその有病率はＷＴＩでない fact14: あのショートブーツは撥ね付けないかあるいはすっごーいか両方ともだ
fact1 -> int1: 何らかの物はすっごーくないかまたは概念装置でないかもしくは両方ともだ; int1 & fact9 -> int2: この構造ペインは選択し易くない; int2 -> int3: ある物は選択し易くない; int3 & fact4 -> hypothesis;
その有病率はＷＴＩでないかまたはそれは選択し易くない
$facts$ = fact1: そのスペイン風邪はすっごーくないかあるいは概念装置でないかまたは両方ともだ fact2: あのショートブーツは体得するかもしくはそれは撥ね付けないか両方である fact3: 何らかのものは体得しない fact4: もし仮に選択し易くない物があるとするとあのショートブーツは体得しないかもしくは撥ね付けないかまたは両方ともである fact5: もし仮に「すっごーくない」物があるならこの構造ペインは概念装置であるか選択し易くないかあるいは両方である fact6: もし仮に「すっごーくないかあるいは選択し易くないかもしくはどちらもである」ものがあるとしたらそのスペイン風邪は体得しない fact7: 仮に「すっごーくない」物があるならそのスペイン風邪は撥ね付けないかあるいは体得するということはないかもしくは両方ともだ fact8: もし「概念装置でない」ものがあるとすればこの構造ペインは選択し易くない fact9: もし「すっごーくないか概念装置でないか両方な」ものがあるならこの構造ペインは選択し易くない fact10: もしもなにがしかの物がすっごーくないとしたらそのスペイン風邪は体得するかまたは撥ね付けないかどちらもだ fact11: 「すっごーくないかあるいは概念装置であるかあるいは両方ともな」ものはある fact12: あのショートブーツは泊まらない fact13: 「この構造ペインは概念装置だけれどＷＴＩだということはない」ということは成り立たないとすればその有病率はＷＴＩでない fact14: あのショートブーツは撥ね付けないかあるいはすっごーいか両方ともだ ; $hypothesis$ = 「あのショートブーツは体得しないか撥ね付けるということはないかあるいは両方ともである」ということは成り立つ ; $proof$ = 
fact1 -> int1: 何らかの物はすっごーくないかまたは概念装置でないかもしくは両方ともだ; int1 & fact9 -> int2: この構造ペインは選択し易くない; int2 -> int3: ある物は選択し易くない; int3 & fact4 -> hypothesis; __PROVED__
事実1: そのスペイン風邪はすっごーくないかあるいは概念装置でないかまたは両方ともだ
事実2: あのショートブーツは体得するかもしくはそれは撥ね付けないか両方である
事実3: 何らかのものは体得しない
事実4: もし仮に選択し易くない物があるとするとあのショートブーツは体得しないかもしくは撥ね付けないかまたは両方ともである
事実5: もし仮に「すっごーくない」物があるならこの構造ペインは概念装置であるか選択し易くないかあるいは両方である
事実6: もし仮に「すっごーくないかあるいは選択し易くないかもしくはどちらもである」ものがあるとしたらそのスペイン風邪は体得しない
事実7: 仮に「すっごーくない」物があるならそのスペイン風邪は撥ね付けないかあるいは体得するということはないかもしくは両方ともだ
事実8: もし「概念装置でない」ものがあるとすればこの構造ペインは選択し易くない
事実9: もし「すっごーくないか概念装置でないか両方な」ものがあるならこの構造ペインは選択し易くない
事実10: もしもなにがしかの物がすっごーくないとしたらそのスペイン風邪は体得するかまたは撥ね付けないかどちらもだ
事実11: 「すっごーくないかあるいは概念装置であるかあるいは両方ともな」ものはある
事実12: あのショートブーツは泊まらない
事実13: 「この構造ペインは概念装置だけれどＷＴＩだということはない」ということは成り立たないとすればその有病率はＷＴＩでない
事実14: あのショートブーツは撥ね付けないかあるいはすっごーいか両方ともだ

仮説: 「あのショートブーツは体得しないか撥ね付けるということはないかあるいは両方ともである」ということは成り立つ
1. 事実1から、推論1: "何らかの物はすっごーくないかまたは概念装置でないかもしくは両方ともだ"が導かれる
2. 推論1と事実9から、推論2: "この構造ペインは選択し易くない"が導かれる
3. 推論2から、推論3: "ある物は選択し易くない"が導かれる
4. 推論3と事実4から、仮説が導かれる

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