「その略はすごーくない」ということは確かである
fact1: もし仮にこの横位置が掴み易いとするとその略は休離でないけれど商規だ fact2: もしその略は休離でないけれど商規であるとするとすごーい fact3: この横位置は終了時である fact4: もしもこの横位置はすごーくない一方で商規であるとすればそれは掴み易い fact5: この横位置は終了時でそれは掴み易い fact6: あのストレス・クリニックは打っ潰すし更にそれはすごーい
fact5 -> int1: この横位置は掴み易い; int1 & fact1 -> int2: その略は休離でないけど商規である; int2 & fact2 -> hypothesis;
$facts$ = fact1: もし仮にこの横位置が掴み易いとするとその略は休離でないけれど商規だ fact2: もしその略は休離でないけれど商規であるとするとすごーい fact3: この横位置は終了時である fact4: もしもこの横位置はすごーくない一方で商規であるとすればそれは掴み易い fact5: この横位置は終了時でそれは掴み易い fact6: あのストレス・クリニックは打っ潰すし更にそれはすごーい ; $hypothesis$ = 「その略はすごーくない」ということは確かである ; $proof$ = 
fact5 -> int1: この横位置は掴み易い; int1 & fact1 -> int2: その略は休離でないけど商規である; int2 & fact2 -> hypothesis; __DISPROVED__
事実1: もし仮にこの横位置が掴み易いとするとその略は休離でないけれど商規だ
事実2: もしその略は休離でないけれど商規であるとするとすごーい
事実3: この横位置は終了時である
事実4: もしもこの横位置はすごーくない一方で商規であるとすればそれは掴み易い
事実5: この横位置は終了時でそれは掴み易い
事実6: あのストレス・クリニックは打っ潰すし更にそれはすごーい

仮説: 「その略はすごーくない」ということは確かである
1. 事実5から、推論1: "この横位置は掴み易い"が導かれる
2. 推論1と事実1から、推論2: "その略は休離でないけど商規である"が導かれる
3. 推論2と事実2から、仮説が否定される

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