「仮に「緯糸であり迷走しない」ということは成り立たないとしたら所らしい」物はある
fact1: もし「なにかは緯糸だが迷走しない」ということは本当でないとすると所らしい fact2: この執念は緯糸であるということはないとすればそれは所らしい fact3: 「仮に緯糸であるけれど迷走しないとすれば「所らしい」ということは成り立つ」ものはある fact4: 「もしも緯糸でないとすれば所らしい」ものはある fact5: もし仮にこの執念が緯糸だけどそれが迷走しないとすればそれは所らしい fact6: もしなにかは緯糸でないとすれば所らしい
fact1 -> int1: 仮に「この執念は緯糸であるけれどそれは迷走しない」ということは偽であるとすれば所らしい; int1 -> hypothesis;
$facts$ = fact1: もし「なにかは緯糸だが迷走しない」ということは本当でないとすると所らしい fact2: この執念は緯糸であるということはないとすればそれは所らしい fact3: 「仮に緯糸であるけれど迷走しないとすれば「所らしい」ということは成り立つ」ものはある fact4: 「もしも緯糸でないとすれば所らしい」ものはある fact5: もし仮にこの執念が緯糸だけどそれが迷走しないとすればそれは所らしい fact6: もしなにかは緯糸でないとすれば所らしい ; $hypothesis$ = 「仮に「緯糸であり迷走しない」ということは成り立たないとしたら所らしい」物はある ; $proof$ = 
fact1 -> int1: 仮に「この執念は緯糸であるけれどそれは迷走しない」ということは偽であるとすれば所らしい; int1 -> hypothesis; __PROVED__
事実1: もし「なにかは緯糸だが迷走しない」ということは本当でないとすると所らしい
事実2: この執念は緯糸であるということはないとすればそれは所らしい
事実3: 「仮に緯糸であるけれど迷走しないとすれば「所らしい」ということは成り立つ」ものはある
事実4: 「もしも緯糸でないとすれば所らしい」ものはある
事実5: もし仮にこの執念が緯糸だけどそれが迷走しないとすればそれは所らしい
事実6: もしなにかは緯糸でないとすれば所らしい

仮説: 「仮に「緯糸であり迷走しない」ということは成り立たないとしたら所らしい」物はある
1. 事実1から、推論1: "仮に「この執念は緯糸であるけれどそれは迷走しない」ということは偽であるとすれば所らしい"が導かれる
2. 推論1から、仮説が導かれる

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