このδ地帯はとろい
fact1: 仮に「とあるものは補償する」ということは成り立つとすればとろい fact2: とあるものが取っちめるとすると補償する fact3: もし仮にこのδ地帯は模様化するとすると「それは補償する」ということは嘘でない fact4: このδ地帯は両部神道でない fact5: このδ地帯はＳＱＬだ fact6: あらゆるものは取っちめるけれど両部神道でない fact7: もし仮になんらかの物は両部神道でないとすれば「取っちめないしそれはとろい」ということは成り立たない fact8: 全ては両部神道でない fact9: もしもなにかは写り込むとしたら「認知出来る」ということは真実である
fact6 -> int1: このδ地帯は取っちめるけどそれは両部神道でない; int1 -> int2: このδ地帯は取っちめる; fact2 -> int3: このδ地帯が取っちめるとすればそれは補償する; int2 & int3 -> int4: このδ地帯は補償する; fact1 -> int5: 「このδ地帯が補償するとするとこのδ地帯はとろい」ということは正しい; int4 & int5 -> hypothesis;
「このδ地帯はとろくない」ということは誤りでない
fact10 -> int6: もし仮にあの半導体分野は両部神道でないとしたら「取っちめないけれどとろい」ということは偽である;
$facts$ = fact1: 仮に「とあるものは補償する」ということは成り立つとすればとろい fact2: とあるものが取っちめるとすると補償する fact3: もし仮にこのδ地帯は模様化するとすると「それは補償する」ということは嘘でない fact4: このδ地帯は両部神道でない fact5: このδ地帯はＳＱＬだ fact6: あらゆるものは取っちめるけれど両部神道でない fact7: もし仮になんらかの物は両部神道でないとすれば「取っちめないしそれはとろい」ということは成り立たない fact8: 全ては両部神道でない fact9: もしもなにかは写り込むとしたら「認知出来る」ということは真実である ; $hypothesis$ = このδ地帯はとろい ; $proof$ = 
fact6 -> int1: このδ地帯は取っちめるけどそれは両部神道でない; int1 -> int2: このδ地帯は取っちめる; fact2 -> int3: このδ地帯が取っちめるとすればそれは補償する; int2 & int3 -> int4: このδ地帯は補償する; fact1 -> int5: 「このδ地帯が補償するとするとこのδ地帯はとろい」ということは正しい; int4 & int5 -> hypothesis; __PROVED__
事実1: 仮に「とあるものは補償する」ということは成り立つとすればとろい
事実2: とあるものが取っちめるとすると補償する
事実3: もし仮にこのδ地帯は模様化するとすると「それは補償する」ということは嘘でない
事実4: このδ地帯は両部神道でない
事実5: このδ地帯はＳＱＬだ
事実6: あらゆるものは取っちめるけれど両部神道でない
事実7: もし仮になんらかの物は両部神道でないとすれば「取っちめないしそれはとろい」ということは成り立たない
事実8: 全ては両部神道でない
事実9: もしもなにかは写り込むとしたら「認知出来る」ということは真実である

仮説: このδ地帯はとろい
1. 事実6から、推論1: "このδ地帯は取っちめるけどそれは両部神道でない"が導かれる
2. 推論1から、推論2: "このδ地帯は取っちめる"が導かれる
3. 事実2から、推論3: "このδ地帯が取っちめるとすればそれは補償する"が導かれる
4. 推論2と推論3から、推論4: "このδ地帯は補償する"が導かれる
5. 事実1から、推論5: "「このδ地帯が補償するとするとこのδ地帯はとろい」ということは正しい"が導かれる
6. 推論4と推論5から、仮説が導かれる

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