この的外れが変化し易いとしたらあの締め括りは捕らえ難い
fact1: 捕らえ難くないものは変化し易いし加えて生易しい fact2: もしある物がＵＳＢ接続しないならば全車両でないし其れっぽい fact3: あの列方向は変化し易い fact4: 仮にあの締め括りが変化し易いとすればこの的外れは捕らえ難い fact5: もしこの的外れが生易しいならこの鳥兜は変化し易い fact6: 「もし仮にそのインストールＣＤが全車両でないがしかしそれが其れっぽいとしたらそのインストールＣＤは殴り合う」ということは真実である fact7: この的外れは捕らえ難い fact8: あの締め括りは生易しい fact9: もし何らかのものは通院しないけれど殴り合うとすると捕らえ難くない fact10: もし仮にこの的外れが変化し易いならばこの鳥兜は生易しい fact11: あの締め括りは変化し易い fact12: この鳥兜が生易しいとすればあの締め括りは捕らえ難い fact13: そのインストールＣＤは通院しない
void -> assump1: 以下のように仮定する。この的外れは変化し易い; fact10 & assump1 -> int1: この鳥兜は生易しい; int1 & fact12 -> int2: あの締め括りは捕らえ難い; [assump1] & int2 -> hypothesis;
そのインストールＣＤは変化し易い
fact15 -> int3: もし仮にそのインストールＣＤが捕らえ難くないとしたらそれは変化し易いし生易しい; fact16 -> int4: そのインストールＣＤは通院するということはないけれど殴り合うとすれば捕らえ難くない; fact14 -> int5: もしそのインストールＣＤがＵＳＢ接続するということはないなら全車両でないけれど其れっぽい;
$facts$ = fact1: 捕らえ難くないものは変化し易いし加えて生易しい fact2: もしある物がＵＳＢ接続しないならば全車両でないし其れっぽい fact3: あの列方向は変化し易い fact4: 仮にあの締め括りが変化し易いとすればこの的外れは捕らえ難い fact5: もしこの的外れが生易しいならこの鳥兜は変化し易い fact6: 「もし仮にそのインストールＣＤが全車両でないがしかしそれが其れっぽいとしたらそのインストールＣＤは殴り合う」ということは真実である fact7: この的外れは捕らえ難い fact8: あの締め括りは生易しい fact9: もし何らかのものは通院しないけれど殴り合うとすると捕らえ難くない fact10: もし仮にこの的外れが変化し易いならばこの鳥兜は生易しい fact11: あの締め括りは変化し易い fact12: この鳥兜が生易しいとすればあの締め括りは捕らえ難い fact13: そのインストールＣＤは通院しない ; $hypothesis$ = この的外れが変化し易いとしたらあの締め括りは捕らえ難い ; $proof$ = 
void -> assump1: 以下のように仮定する。この的外れは変化し易い; fact10 & assump1 -> int1: この鳥兜は生易しい; int1 & fact12 -> int2: あの締め括りは捕らえ難い; [assump1] & int2 -> hypothesis; __PROVED__
事実1: 捕らえ難くないものは変化し易いし加えて生易しい
事実2: もしある物がＵＳＢ接続しないならば全車両でないし其れっぽい
事実3: あの列方向は変化し易い
事実4: 仮にあの締め括りが変化し易いとすればこの的外れは捕らえ難い
事実5: もしこの的外れが生易しいならこの鳥兜は変化し易い
事実6: 「もし仮にそのインストールＣＤが全車両でないがしかしそれが其れっぽいとしたらそのインストールＣＤは殴り合う」ということは真実である
事実7: この的外れは捕らえ難い
事実8: あの締め括りは生易しい
事実9: もし何らかのものは通院しないけれど殴り合うとすると捕らえ難くない
事実10: もし仮にこの的外れが変化し易いならばこの鳥兜は生易しい
事実11: あの締め括りは変化し易い
事実12: この鳥兜が生易しいとすればあの締め括りは捕らえ難い
事実13: そのインストールＣＤは通院しない

仮説: この的外れが変化し易いとしたらあの締め括りは捕らえ難い
1. 仮定1: 以下のように仮定する。この的外れは変化し易い
2. 事実10と仮定1から、推論1: "この鳥兜は生易しい"が導かれる
3. 推論1と事実12から、推論2: "あの締め括りは捕らえ難い"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

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