あの鴻毛は打ち掛かるかもしくは動揺し易いか両方である
fact1: 何かは予測し易くないなら「それは打ち掛かるかもしくはそれは動揺し易い」ということは誤りだ fact2: 仮になんらかの物が続き易くないならば予測し易くない fact3: 「その数十軒は忌ま忌ましいということはなくてしかもそれは違くない」ということは成り立つということはない fact4: 仮に「その数十軒は忌ま忌ましいということはないしその上違いない」ということは成り立たないとしたらあの鴻毛は打ち掛かる
fact4 & fact3 -> int1: あの鴻毛は打ち掛かる; int1 -> hypothesis;
「あの鴻毛は打ち掛かるかもしくは動揺し易い」ということは間違いである
fact6 -> int2: 仮にあの鴻毛は予測し易くないとすると「それは打ち掛かるか動揺し易いか両方である」ということは成り立たない; fact5 -> int3: もしあの鴻毛は続き易いということはないとすれば「予測し易くない」ということは正しい;
$facts$ = fact1: 何かは予測し易くないなら「それは打ち掛かるかもしくはそれは動揺し易い」ということは誤りだ fact2: 仮になんらかの物が続き易くないならば予測し易くない fact3: 「その数十軒は忌ま忌ましいということはなくてしかもそれは違くない」ということは成り立つということはない fact4: 仮に「その数十軒は忌ま忌ましいということはないしその上違いない」ということは成り立たないとしたらあの鴻毛は打ち掛かる ; $hypothesis$ = あの鴻毛は打ち掛かるかもしくは動揺し易いか両方である ; $proof$ = 
fact4 & fact3 -> int1: あの鴻毛は打ち掛かる; int1 -> hypothesis; __PROVED__
事実1: 何かは予測し易くないなら「それは打ち掛かるかもしくはそれは動揺し易い」ということは誤りだ
事実2: 仮になんらかの物が続き易くないならば予測し易くない
事実3: 「その数十軒は忌ま忌ましいということはなくてしかもそれは違くない」ということは成り立つということはない
事実4: 仮に「その数十軒は忌ま忌ましいということはないしその上違いない」ということは成り立たないとしたらあの鴻毛は打ち掛かる

仮説: あの鴻毛は打ち掛かるかもしくは動揺し易いか両方である
1. 事実4と事実3から、推論1: "あの鴻毛は打ち掛かる"が導かれる
2. 推論1から、仮説が導かれる

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