あのＧＩレはＱＷＬでない
fact1: 仮にそのベクトルＡワンは御見掛けするとすれば「それは興味深いがしかし相乗しない」ということは間違いだ fact2: 「あのＧＩレは取り出し易くない」ということは成り立つとするとＱＷＬである fact3: あのＧＩレは御見掛けする fact4: もし「何らかの物は御見掛けするがそれは働き掛けない」ということは成り立たないとしたらそれはＱＷＬでない fact5: もし仮にそのベクトルＡワンは入り易いとすれば「それは取り出し易いしまた安っぽい」ということは成り立たない fact6: 「あのＧＩレは取り出し易い」ということは事実だとすればあのベクトルＡワンはＱＷＬであるということはない fact7: 「そのベクトルＡワンは取り出し易いけれど御見掛けしない」ということは成り立たない fact8: もし仮に何らかの物が世話しないならそのベクトルＡワンは取り出し易くない fact9: 仮に何らかの物は相乗しないとすると「それは御見掛けするが働き掛けない」ということは事実と異なる fact10: 仮に「そのベクトルＡワンは興味深いけど相乗しない」ということは成り立たないとするとあのＧＩレは取り出し易くない fact11: あのＧＩレは亡命しない fact12: もしもあのＧＩレは興味深いとすると「それはＱＷＬであるしまた働き掛ける」ということは誤りだ fact13: あのＧＩレはＱＷＬでないとすると働き掛ける fact14: その実践上は働き掛ける fact15: なんらかの物は世話しない fact16: もしそのベクトルＡワンは働き掛けるとすれば「それは興味深くてＱＷＬだ」ということは偽である fact17: あの応力集中は御見掛けしない fact18: そのベクトルＡワンは働き掛けるしさらに御見掛けする
fact18 -> int1: そのベクトルＡワンは御見掛けする; int1 & fact1 -> int2: 「そのベクトルＡワンは興味深い一方でそれは相乗しない」ということは誤っている; int2 & fact10 -> int3: あのＧＩレは取り出し易くない; int3 & fact2 -> hypothesis;
あのＧＩレはＱＷＬでない
fact22 -> int4: もし「あのＧＩレは御見掛けするけれど働き掛けない」ということは誤りだとするとそれはＱＷＬでない; fact20 -> int5: もし仮にあのＧＩレは相乗しないとすれば「御見掛けするし働き掛けない」ということは誤っている; fact21 & fact19 -> int6: そのベクトルＡワンは取り出し易くない; int6 -> int7: 「取り出し易くない」物はある;
$facts$ = fact1: 仮にそのベクトルＡワンは御見掛けするとすれば「それは興味深いがしかし相乗しない」ということは間違いだ fact2: 「あのＧＩレは取り出し易くない」ということは成り立つとするとＱＷＬである fact3: あのＧＩレは御見掛けする fact4: もし「何らかの物は御見掛けするがそれは働き掛けない」ということは成り立たないとしたらそれはＱＷＬでない fact5: もし仮にそのベクトルＡワンは入り易いとすれば「それは取り出し易いしまた安っぽい」ということは成り立たない fact6: 「あのＧＩレは取り出し易い」ということは事実だとすればあのベクトルＡワンはＱＷＬであるということはない fact7: 「そのベクトルＡワンは取り出し易いけれど御見掛けしない」ということは成り立たない fact8: もし仮に何らかの物が世話しないならそのベクトルＡワンは取り出し易くない fact9: 仮に何らかの物は相乗しないとすると「それは御見掛けするが働き掛けない」ということは事実と異なる fact10: 仮に「そのベクトルＡワンは興味深いけど相乗しない」ということは成り立たないとするとあのＧＩレは取り出し易くない fact11: あのＧＩレは亡命しない fact12: もしもあのＧＩレは興味深いとすると「それはＱＷＬであるしまた働き掛ける」ということは誤りだ fact13: あのＧＩレはＱＷＬでないとすると働き掛ける fact14: その実践上は働き掛ける fact15: なんらかの物は世話しない fact16: もしそのベクトルＡワンは働き掛けるとすれば「それは興味深くてＱＷＬだ」ということは偽である fact17: あの応力集中は御見掛けしない fact18: そのベクトルＡワンは働き掛けるしさらに御見掛けする ; $hypothesis$ = あのＧＩレはＱＷＬでない ; $proof$ = 
fact18 -> int1: そのベクトルＡワンは御見掛けする; int1 & fact1 -> int2: 「そのベクトルＡワンは興味深い一方でそれは相乗しない」ということは誤っている; int2 & fact10 -> int3: あのＧＩレは取り出し易くない; int3 & fact2 -> hypothesis; __DISPROVED__
事実1: 仮にそのベクトルＡワンは御見掛けするとすれば「それは興味深いがしかし相乗しない」ということは間違いだ
事実2: 「あのＧＩレは取り出し易くない」ということは成り立つとするとＱＷＬである
事実3: あのＧＩレは御見掛けする
事実4: もし「何らかの物は御見掛けするがそれは働き掛けない」ということは成り立たないとしたらそれはＱＷＬでない
事実5: もし仮にそのベクトルＡワンは入り易いとすれば「それは取り出し易いしまた安っぽい」ということは成り立たない
事実6: 「あのＧＩレは取り出し易い」ということは事実だとすればあのベクトルＡワンはＱＷＬであるということはない
事実7: 「そのベクトルＡワンは取り出し易いけれど御見掛けしない」ということは成り立たない
事実8: もし仮に何らかの物が世話しないならそのベクトルＡワンは取り出し易くない
事実9: 仮に何らかの物は相乗しないとすると「それは御見掛けするが働き掛けない」ということは事実と異なる
事実10: 仮に「そのベクトルＡワンは興味深いけど相乗しない」ということは成り立たないとするとあのＧＩレは取り出し易くない
事実11: あのＧＩレは亡命しない
事実12: もしもあのＧＩレは興味深いとすると「それはＱＷＬであるしまた働き掛ける」ということは誤りだ
事実13: あのＧＩレはＱＷＬでないとすると働き掛ける
事実14: その実践上は働き掛ける
事実15: なんらかの物は世話しない
事実16: もしそのベクトルＡワンは働き掛けるとすれば「それは興味深くてＱＷＬだ」ということは偽である
事実17: あの応力集中は御見掛けしない
事実18: そのベクトルＡワンは働き掛けるしさらに御見掛けする

仮説: あのＧＩレはＱＷＬでない
1. 事実18から、推論1: "そのベクトルＡワンは御見掛けする"が導かれる
2. 推論1と事実1から、推論2: "「そのベクトルＡワンは興味深い一方でそれは相乗しない」ということは誤っている"が導かれる
3. 推論2と事実10から、推論3: "あのＧＩレは取り出し易くない"が導かれる
4. 推論3と事実2から、仮説が否定される

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