あの術部は縁遠い
fact1: もしもその渡り鳥が弛いとするとあの術部は複製出来る fact2: 「「あの術部は留置場でない」ということは成り立たない」ということは成り立つ fact3: 「複製出来る」ものはある fact4: 「弛いししかも複製出来る」ものがあるとすればこの絞首台は広い fact5: 広いものは複製出来れば「あの術部は縁遠い」ということは成り立つ fact6: もし仮にこの絞首台が広いならあの術部は縁遠い fact7: もしもその渡り鳥は縁遠いならば「この絞首台は縁遠い」ということは成り立つ fact8: すべては断り難くない fact9: その渡り鳥は複製出来る fact10: その渡り鳥が弛いけれど縁遠くないとすればあの術部は縁遠いということはない fact11: 仮にその渡り鳥が複製出来るならこの絞首台は縁遠い fact12: その渡り鳥は弛い fact13: 断り難くないものは名状し難いということはないし疎ましかない fact14: もし「弛いししかも縁遠い」物があるならあの術部は広い fact15: あの契約類型は複製出来る
fact12 & fact9 -> int1: その渡り鳥は弛いし加えて複製出来る; int1 -> int2: 「弛いし複製出来る」ものはある; int2 & fact4 -> int3: この絞首台は広い; int3 & fact6 -> hypothesis;
あの術部は縁遠くない
$facts$ = fact1: もしもその渡り鳥が弛いとするとあの術部は複製出来る fact2: 「「あの術部は留置場でない」ということは成り立たない」ということは成り立つ fact3: 「複製出来る」ものはある fact4: 「弛いししかも複製出来る」ものがあるとすればこの絞首台は広い fact5: 広いものは複製出来れば「あの術部は縁遠い」ということは成り立つ fact6: もし仮にこの絞首台が広いならあの術部は縁遠い fact7: もしもその渡り鳥は縁遠いならば「この絞首台は縁遠い」ということは成り立つ fact8: すべては断り難くない fact9: その渡り鳥は複製出来る fact10: その渡り鳥が弛いけれど縁遠くないとすればあの術部は縁遠いということはない fact11: 仮にその渡り鳥が複製出来るならこの絞首台は縁遠い fact12: その渡り鳥は弛い fact13: 断り難くないものは名状し難いということはないし疎ましかない fact14: もし「弛いししかも縁遠い」物があるならあの術部は広い fact15: あの契約類型は複製出来る ; $hypothesis$ = あの術部は縁遠い ; $proof$ = 
fact12 & fact9 -> int1: その渡り鳥は弛いし加えて複製出来る; int1 -> int2: 「弛いし複製出来る」ものはある; int2 & fact4 -> int3: この絞首台は広い; int3 & fact6 -> hypothesis; __PROVED__
事実1: もしもその渡り鳥が弛いとするとあの術部は複製出来る
事実2: 「「あの術部は留置場でない」ということは成り立たない」ということは成り立つ
事実3: 「複製出来る」ものはある
事実4: 「弛いししかも複製出来る」ものがあるとすればこの絞首台は広い
事実5: 広いものは複製出来れば「あの術部は縁遠い」ということは成り立つ
事実6: もし仮にこの絞首台が広いならあの術部は縁遠い
事実7: もしもその渡り鳥は縁遠いならば「この絞首台は縁遠い」ということは成り立つ
事実8: すべては断り難くない
事実9: その渡り鳥は複製出来る
事実10: その渡り鳥が弛いけれど縁遠くないとすればあの術部は縁遠いということはない
事実11: 仮にその渡り鳥が複製出来るならこの絞首台は縁遠い
事実12: その渡り鳥は弛い
事実13: 断り難くないものは名状し難いということはないし疎ましかない
事実14: もし「弛いししかも縁遠い」物があるならあの術部は広い
事実15: あの契約類型は複製出来る

仮説: あの術部は縁遠い
1. 事実12と事実9から、推論1: "その渡り鳥は弛いし加えて複製出来る"が導かれる
2. 推論1から、推論2: "「弛いし複製出来る」ものはある"が導かれる
3. 推論2と事実4から、推論3: "この絞首台は広い"が導かれる
4. 推論3と事実6から、仮説が導かれる

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