あのスイング・ジャーナルは見付け難くない
fact1: 仮にその巷間が呆気なくないけど変え難いとしたらあのスイング・ジャーナルは見付け難くない fact2: 「残り易いがしかし甚だしくない」物はある fact3: その巷間は変え難い fact4: その全景が呆気なくないならその巷間は呆気ないということはないが変え難い fact5: もし仮にあのスイング・ジャーナルが呆気ないということはないならばあの巷間は呆気なくないがしかし見付け難い fact6: 仮に「残り易くて更に甚だしくないものはある」ということは確かだとしたらその全景は呆気なくない fact7: 「残り易いししかも甚だしい」ものがあるとしたらその全景は呆気なくない
fact2 & fact6 -> int1: 「その全景は呆気なくない」ということは成り立つ; int1 & fact4 -> int2: その巷間は呆気ないということはないが変え難い; int2 & fact1 -> hypothesis;
fact2 & fact6 -> int1: ¬{C}{a}; int1 & fact4 -> int2: (¬{C}{b} & {D}{b}); int2 & fact1 -> hypothesis;
$facts$ = fact1: 仮にその巷間が呆気なくないけど変え難いとしたらあのスイング・ジャーナルは見付け難くない fact2: 「残り易いがしかし甚だしくない」物はある fact3: その巷間は変え難い fact4: その全景が呆気なくないならその巷間は呆気ないということはないが変え難い fact5: もし仮にあのスイング・ジャーナルが呆気ないということはないならばあの巷間は呆気なくないがしかし見付け難い fact6: 仮に「残り易くて更に甚だしくないものはある」ということは確かだとしたらその全景は呆気なくない fact7: 「残り易いししかも甚だしい」ものがあるとしたらその全景は呆気なくない ; $hypothesis$ = あのスイング・ジャーナルは見付け難くない ; $proof$ = 
fact2 & fact6 -> int1: 「その全景は呆気なくない」ということは成り立つ; int1 & fact4 -> int2: その巷間は呆気ないということはないが変え難い; int2 & fact1 -> hypothesis; __PROVED__
事実1: 仮にその巷間が呆気なくないけど変え難いとしたらあのスイング・ジャーナルは見付け難くない
事実2: 「残り易いがしかし甚だしくない」物はある
事実3: その巷間は変え難い
事実4: その全景が呆気なくないならその巷間は呆気ないということはないが変え難い
事実5: もし仮にあのスイング・ジャーナルが呆気ないということはないならばあの巷間は呆気なくないがしかし見付け難い
事実6: 仮に「残り易くて更に甚だしくないものはある」ということは確かだとしたらその全景は呆気なくない
事実7: 「残り易いししかも甚だしい」ものがあるとしたらその全景は呆気なくない

仮説: あのスイング・ジャーナルは見付け難くない
1. 事実2と事実6から、推論1: "「その全景は呆気なくない」ということは成り立つ"が導かれる
2. 推論1と事実4から、推論2: "その巷間は呆気ないということはないが変え難い"が導かれる
3. 推論2と事実1から、仮説が導かれる

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