この作業生体は利用し易い
fact1: もし仮にある物がセッティングするしさらにそれがルール化するならこの作業生体は利用し易い fact2: なにかは合わせ易いししかも哀れさである fact3: 「ルール化する」物はある fact4: その献上はセッティングする fact5: もしもなにかは巻き込まないならば「利用し易いということはないし加えてそれはルール化する」ということは間違いである fact6: その献上はルール化する fact7: なにかはサブトラクション像である fact8: とある物はセッティングする fact9: 再仕上げはある fact10: 合わせ易くないものは巻き込むということはない fact11: その基礎教育はセッティングする fact12: 「出会い易い」物はある fact13: 仮にある物がセッティングするとすれば利用し易いということはない
fact4 & fact6 -> int1: その献上はセッティングするしかつルール化する; int1 -> int2: なにかはセッティングするしルール化する; int2 & fact1 -> hypothesis;
あの波浪はセッティングする
fact14 -> int3: 仮にあの波浪は巻き込むということはないならば「利用し易くないし更にそれはルール化する」ということは間違っている; fact15 -> int4: もしもあの波浪が合わせ易くないとしたら巻き込まない;
$facts$ = fact1: もし仮にある物がセッティングするしさらにそれがルール化するならこの作業生体は利用し易い fact2: なにかは合わせ易いししかも哀れさである fact3: 「ルール化する」物はある fact4: その献上はセッティングする fact5: もしもなにかは巻き込まないならば「利用し易いということはないし加えてそれはルール化する」ということは間違いである fact6: その献上はルール化する fact7: なにかはサブトラクション像である fact8: とある物はセッティングする fact9: 再仕上げはある fact10: 合わせ易くないものは巻き込むということはない fact11: その基礎教育はセッティングする fact12: 「出会い易い」物はある fact13: 仮にある物がセッティングするとすれば利用し易いということはない ; $hypothesis$ = この作業生体は利用し易い ; $proof$ = 
fact4 & fact6 -> int1: その献上はセッティングするしかつルール化する; int1 -> int2: なにかはセッティングするしルール化する; int2 & fact1 -> hypothesis; __PROVED__
事実1: もし仮にある物がセッティングするしさらにそれがルール化するならこの作業生体は利用し易い
事実2: なにかは合わせ易いししかも哀れさである
事実3: 「ルール化する」物はある
事実4: その献上はセッティングする
事実5: もしもなにかは巻き込まないならば「利用し易いということはないし加えてそれはルール化する」ということは間違いである
事実6: その献上はルール化する
事実7: なにかはサブトラクション像である
事実8: とある物はセッティングする
事実9: 再仕上げはある
事実10: 合わせ易くないものは巻き込むということはない
事実11: その基礎教育はセッティングする
事実12: 「出会い易い」物はある
事実13: 仮にある物がセッティングするとすれば利用し易いということはない

仮説: この作業生体は利用し易い
1. 事実4と事実6から、推論1: "その献上はセッティングするしかつルール化する"が導かれる
2. 推論1から、推論2: "なにかはセッティングするしルール化する"が導かれる
3. 推論2と事実1から、仮説が導かれる

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