「その些紙は競技するかまたは予測し難い」ということは事実である
fact1: その些紙は守り易いかまたは旨いかあるいは両方ともである fact2: その些紙は予測し難い fact3: もし仮にその些紙が成り掛かるということはなくてアクセスし易くないならそれは寂しかない fact4: このホストディレクトリは予測し難い fact5: なにがしかのものは寂しかないならば「競技するかまたは予測し難いかあるいは両方だ」ということは間違っている
fact2 -> hypothesis;
fact2 -> hypothesis;
「その些紙は競技するかまたは予測し難いかもしくは両方ともである」ということは成り立たない
fact6 -> int1: もし仮にその些紙は寂しかないとすると「それは競技するか予測し難いかどちらもだ」ということは成り立たない;
$facts$ = fact1: その些紙は守り易いかまたは旨いかあるいは両方ともである fact2: その些紙は予測し難い fact3: もし仮にその些紙が成り掛かるということはなくてアクセスし易くないならそれは寂しかない fact4: このホストディレクトリは予測し難い fact5: なにがしかのものは寂しかないならば「競技するかまたは予測し難いかあるいは両方だ」ということは間違っている ; $hypothesis$ = 「その些紙は競技するかまたは予測し難い」ということは事実である ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: その些紙は守り易いかまたは旨いかあるいは両方ともである
事実2: その些紙は予測し難い
事実3: もし仮にその些紙が成り掛かるということはなくてアクセスし易くないならそれは寂しかない
事実4: このホストディレクトリは予測し難い
事実5: なにがしかのものは寂しかないならば「競技するかまたは予測し難いかあるいは両方だ」ということは間違っている

仮説: 「その些紙は競技するかまたは予測し難い」ということは事実である
1. 事実2から、仮説が導かれる

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