この二百五十六メガバイト以上は遊走する
fact1: 仮にこの小房が認識すらないとすれば発症し易くてさらに自分らしい fact2: この二百五十六メガバイト以上は商事会社である fact3: もしとあるものはＵＲＬアドレスであるということはないが上がり難いならば基本原理でない fact4: この小房が自分らしいならあのやくざ社会はＵＲＬアドレスでないが上がり難い fact5: もし仮にこの二百五十六メガバイト以上が商事会社だとするとそれは遊走する fact6: もし仮にある物が散発例だということはないならそれは商事会社であるしさらに遊走する fact7: なんらかの物が基本原理でないとするとそれは散発例であるかあるいはそれは商事会社でない fact8: もしとあるものは商事会社であるならそれは汚い fact9: この二百五十六メガバイト以上は怒らす fact10: もしなにかはＵＲＬアドレスでないとしたら散発例でないし基本原理でない fact11: あの小壺は遊走する
fact5 & fact2 -> hypothesis;
fact5 & fact2 -> hypothesis;
もし「この二百五十六メガバイト以上は商事会社である」ということは確かであるとするとそれは汚い
fact12 -> hypothesis;
$facts$ = fact1: 仮にこの小房が認識すらないとすれば発症し易くてさらに自分らしい fact2: この二百五十六メガバイト以上は商事会社である fact3: もしとあるものはＵＲＬアドレスであるということはないが上がり難いならば基本原理でない fact4: この小房が自分らしいならあのやくざ社会はＵＲＬアドレスでないが上がり難い fact5: もし仮にこの二百五十六メガバイト以上が商事会社だとするとそれは遊走する fact6: もし仮にある物が散発例だということはないならそれは商事会社であるしさらに遊走する fact7: なんらかの物が基本原理でないとするとそれは散発例であるかあるいはそれは商事会社でない fact8: もしとあるものは商事会社であるならそれは汚い fact9: この二百五十六メガバイト以上は怒らす fact10: もしなにかはＵＲＬアドレスでないとしたら散発例でないし基本原理でない fact11: あの小壺は遊走する ; $hypothesis$ = この二百五十六メガバイト以上は遊走する ; $proof$ = 
fact5 & fact2 -> hypothesis; __PROVED__
事実1: 仮にこの小房が認識すらないとすれば発症し易くてさらに自分らしい
事実2: この二百五十六メガバイト以上は商事会社である
事実3: もしとあるものはＵＲＬアドレスであるということはないが上がり難いならば基本原理でない
事実4: この小房が自分らしいならあのやくざ社会はＵＲＬアドレスでないが上がり難い
事実5: もし仮にこの二百五十六メガバイト以上が商事会社だとするとそれは遊走する
事実6: もし仮にある物が散発例だということはないならそれは商事会社であるしさらに遊走する
事実7: なんらかの物が基本原理でないとするとそれは散発例であるかあるいはそれは商事会社でない
事実8: もしとあるものは商事会社であるならそれは汚い
事実9: この二百五十六メガバイト以上は怒らす
事実10: もしなにかはＵＲＬアドレスでないとしたら散発例でないし基本原理でない
事実11: あの小壺は遊走する

仮説: この二百五十六メガバイト以上は遊走する
1. 事実5と事実2から、仮説が導かれる

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