「この横帯線カットは小地域であるかもしくはモラトリアム人間でないかまたは両方ともである」ということは誤りだ
fact1: もし「この参加は重合するということはない」ということは本当だとすれば「それは読み売り新聞であるかあるいはそれは前納でないかもしくは両方だ」ということは正しくない fact2: この横帯線カットは開発投融資である fact3: この横帯線カットは設定出来ない fact4: この第四章水素貯蔵は設定出来ない fact5: この横帯線カットは設定出来ないとしたら「小地域であるかあるいはそれはモラトリアム人間でないか両方ともだ」ということは誤っている
fact5 & fact3 -> hypothesis;
fact5 & fact3 -> hypothesis;
$facts$ = fact1: もし「この参加は重合するということはない」ということは本当だとすれば「それは読み売り新聞であるかあるいはそれは前納でないかもしくは両方だ」ということは正しくない fact2: この横帯線カットは開発投融資である fact3: この横帯線カットは設定出来ない fact4: この第四章水素貯蔵は設定出来ない fact5: この横帯線カットは設定出来ないとしたら「小地域であるかあるいはそれはモラトリアム人間でないか両方ともだ」ということは誤っている ; $hypothesis$ = 「この横帯線カットは小地域であるかもしくはモラトリアム人間でないかまたは両方ともである」ということは誤りだ ; $proof$ = 
fact5 & fact3 -> hypothesis; __PROVED__
事実1: もし「この参加は重合するということはない」ということは本当だとすれば「それは読み売り新聞であるかあるいはそれは前納でないかもしくは両方だ」ということは正しくない
事実2: この横帯線カットは開発投融資である
事実3: この横帯線カットは設定出来ない
事実4: この第四章水素貯蔵は設定出来ない
事実5: この横帯線カットは設定出来ないとしたら「小地域であるかあるいはそれはモラトリアム人間でないか両方ともだ」ということは誤っている

仮説: 「この横帯線カットは小地域であるかもしくはモラトリアム人間でないかまたは両方ともである」ということは誤りだ
1. 事実5と事実3から、仮説が導かれる

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