その籠の鳥は結合し易くない
fact1: もしその籠の鳥は暖房するとしたら「それは完本でないかまたは危なっかしくないかもしくは両方だ」ということは成り立たない fact2: 仮にその和語連珠集が暖房しなくてその上それが完本だということはないならば危なっかしくない fact3: その和語連珠集はサンプリングピッチであるし排水する fact4: その神々達は暖房しない fact5: サンプリングピッチは排水する fact6: もしなにがしかのものが危なっかしくないとしたら排水するし更にハッキングする fact7: 仮にその神々達が暖房しないならその籠の鳥は暖房する fact8: 仮にその和語連珠集がサンプリングピッチであるならばその籠の鳥は結合し易いということはない
fact3 -> int1: その和語連珠集はサンプリングピッチである; int1 & fact8 -> hypothesis;
fact3 -> int1: {A}{a}; int1 & fact8 -> hypothesis;
その籠の鳥は結合し易い
fact9 -> int2: もしその和語連珠集が危なっかしくないとしたらそれは排水するしその上ハッキングする;
$facts$ = fact1: もしその籠の鳥は暖房するとしたら「それは完本でないかまたは危なっかしくないかもしくは両方だ」ということは成り立たない fact2: 仮にその和語連珠集が暖房しなくてその上それが完本だということはないならば危なっかしくない fact3: その和語連珠集はサンプリングピッチであるし排水する fact4: その神々達は暖房しない fact5: サンプリングピッチは排水する fact6: もしなにがしかのものが危なっかしくないとしたら排水するし更にハッキングする fact7: 仮にその神々達が暖房しないならその籠の鳥は暖房する fact8: 仮にその和語連珠集がサンプリングピッチであるならばその籠の鳥は結合し易いということはない ; $hypothesis$ = その籠の鳥は結合し易くない ; $proof$ = 
fact3 -> int1: その和語連珠集はサンプリングピッチである; int1 & fact8 -> hypothesis; __PROVED__
事実1: もしその籠の鳥は暖房するとしたら「それは完本でないかまたは危なっかしくないかもしくは両方だ」ということは成り立たない
事実2: 仮にその和語連珠集が暖房しなくてその上それが完本だということはないならば危なっかしくない
事実3: その和語連珠集はサンプリングピッチであるし排水する
事実4: その神々達は暖房しない
事実5: サンプリングピッチは排水する
事実6: もしなにがしかのものが危なっかしくないとしたら排水するし更にハッキングする
事実7: 仮にその神々達が暖房しないならその籠の鳥は暖房する
事実8: 仮にその和語連珠集がサンプリングピッチであるならばその籠の鳥は結合し易いということはない

仮説: その籠の鳥は結合し易くない
1. 事実3から、推論1: "その和語連珠集はサンプリングピッチである"が導かれる
2. 推論1と事実8から、仮説が導かれる

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