このアルコーブは注意深くない
fact1: もし仮に「けたたましい」物があればこのアルコーブは弱いけど出張らない fact2: もしもこのアルコーブは弱いがしかし出張らないとするとそれは注意深い fact3: もし仮にこのアルコーブが調和し難くてさらに生成し易いとすればあのトランジットは注意深くない fact4: あのトランジットは成膜しないけれど美しい fact5: 弱いものは意味深くない一方でイゴール達だ fact6: もし仮に何らかの物が注意深くないとすると出張るかあるいはけたたましいかもしくは両方ともである fact7: このアルコーブは弱い fact8: 仮に何らかのものは成膜しないけど美しいならけたたましい
fact8 -> int1: 仮にあのトランジットは成膜しないがしかし美しいなら「それはけたたましい」ということは成り立つ; int1 & fact4 -> int2: あのトランジットはけたたましい; int2 -> int3: 「けたたましい」物はある; int3 & fact1 -> int4: このアルコーブは弱いがしかし出張らない; int4 & fact2 -> hypothesis;
あのトランジットは意味深くないイゴール達である
fact9 -> int5: もしもあのトランジットが弱いならば意味深いということはないしイゴール達だ; fact10 -> int6: 仮にあのトランジットは注意深くないなら「それは出張るかそれはけたたましい」ということは正しい;
$facts$ = fact1: もし仮に「けたたましい」物があればこのアルコーブは弱いけど出張らない fact2: もしもこのアルコーブは弱いがしかし出張らないとするとそれは注意深い fact3: もし仮にこのアルコーブが調和し難くてさらに生成し易いとすればあのトランジットは注意深くない fact4: あのトランジットは成膜しないけれど美しい fact5: 弱いものは意味深くない一方でイゴール達だ fact6: もし仮に何らかの物が注意深くないとすると出張るかあるいはけたたましいかもしくは両方ともである fact7: このアルコーブは弱い fact8: 仮に何らかのものは成膜しないけど美しいならけたたましい ; $hypothesis$ = このアルコーブは注意深くない ; $proof$ = 
fact8 -> int1: 仮にあのトランジットは成膜しないがしかし美しいなら「それはけたたましい」ということは成り立つ; int1 & fact4 -> int2: あのトランジットはけたたましい; int2 -> int3: 「けたたましい」物はある; int3 & fact1 -> int4: このアルコーブは弱いがしかし出張らない; int4 & fact2 -> hypothesis; __DISPROVED__
事実1: もし仮に「けたたましい」物があればこのアルコーブは弱いけど出張らない
事実2: もしもこのアルコーブは弱いがしかし出張らないとするとそれは注意深い
事実3: もし仮にこのアルコーブが調和し難くてさらに生成し易いとすればあのトランジットは注意深くない
事実4: あのトランジットは成膜しないけれど美しい
事実5: 弱いものは意味深くない一方でイゴール達だ
事実6: もし仮に何らかの物が注意深くないとすると出張るかあるいはけたたましいかもしくは両方ともである
事実7: このアルコーブは弱い
事実8: 仮に何らかのものは成膜しないけど美しいならけたたましい

仮説: このアルコーブは注意深くない
1. 事実8から、推論1: "仮にあのトランジットは成膜しないがしかし美しいなら「それはけたたましい」ということは成り立つ"が導かれる
2. 推論1と事実4から、推論2: "あのトランジットはけたたましい"が導かれる
3. 推論2から、推論3: "「けたたましい」物はある"が導かれる
4. 推論3と事実1から、推論4: "このアルコーブは弱いがしかし出張らない"が導かれる
5. 推論4と事実2から、仮説が否定される

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