「「仮にあのＥＳＢが興味深くないならその復旧作業は果てし無くないけれど胃痛だ」ということは正しい」ということは間違っている
fact1: 仮にその復旧作業が取得し易くないとすればあのＥＳＢは予測し易くないがしかし胃痛である fact2: その復旧作業が果てし無くないがしかし予測し易いならあのＥＳＢは興味深くない fact3: あのＥＳＢが興味深くないけど取得し易いならこの小径は胃痛でない fact4: あのＥＳＢは取得し易くてそれに予測し易い fact5: 仮にこの小径が胃痛でないとすればその復旧作業は果てし無くないけど胃痛だ
fact4 -> int1: 「あのＥＳＢは取得し易い」ということは正しい; void -> assump1: 以下のように仮定する。あのＥＳＢは興味深いということはない; int1 & assump1 -> int2: あのＥＳＢは興味深くないがしかし取得し易い; int2 & fact3 -> int3: この小径は胃痛でない; int3 & fact5 -> int4: その復旧作業は果てし無くないが胃痛である; [assump1] & int4 -> hypothesis;
$facts$ = fact1: 仮にその復旧作業が取得し易くないとすればあのＥＳＢは予測し易くないがしかし胃痛である fact2: その復旧作業が果てし無くないがしかし予測し易いならあのＥＳＢは興味深くない fact3: あのＥＳＢが興味深くないけど取得し易いならこの小径は胃痛でない fact4: あのＥＳＢは取得し易くてそれに予測し易い fact5: 仮にこの小径が胃痛でないとすればその復旧作業は果てし無くないけど胃痛だ ; $hypothesis$ = 「「仮にあのＥＳＢが興味深くないならその復旧作業は果てし無くないけれど胃痛だ」ということは正しい」ということは間違っている ; $proof$ = 
fact4 -> int1: 「あのＥＳＢは取得し易い」ということは正しい; void -> assump1: 以下のように仮定する。あのＥＳＢは興味深いということはない; int1 & assump1 -> int2: あのＥＳＢは興味深くないがしかし取得し易い; int2 & fact3 -> int3: この小径は胃痛でない; int3 & fact5 -> int4: その復旧作業は果てし無くないが胃痛である; [assump1] & int4 -> hypothesis; __DISPROVED__
事実1: 仮にその復旧作業が取得し易くないとすればあのＥＳＢは予測し易くないがしかし胃痛である
事実2: その復旧作業が果てし無くないがしかし予測し易いならあのＥＳＢは興味深くない
事実3: あのＥＳＢが興味深くないけど取得し易いならこの小径は胃痛でない
事実4: あのＥＳＢは取得し易くてそれに予測し易い
事実5: 仮にこの小径が胃痛でないとすればその復旧作業は果てし無くないけど胃痛だ

仮説: 「「仮にあのＥＳＢが興味深くないならその復旧作業は果てし無くないけれど胃痛だ」ということは正しい」ということは間違っている
1. 事実4から、推論1: "「あのＥＳＢは取得し易い」ということは正しい"が導かれる
2. 仮定1: 以下のように仮定する。あのＥＳＢは興味深いということはない
3. 推論1と仮定1から、推論2: "あのＥＳＢは興味深くないがしかし取得し易い"が導かれる
4. 推論2と事実3から、推論3: "この小径は胃痛でない"が導かれる
5. 推論3と事実5から、推論4: "その復旧作業は果てし無くないが胃痛である"が導かれる
6. [仮定1]と推論4から、仮説が否定される

よって、仮説が否定されました。