「「その守備本能は御約束するししかも脂っぽい」ということは成り立つということはない」ということは正しい
fact1: その守備本能は概説書である fact2: もしその守備本能は起こし難いけれど痛ーくないならば「それは脂っぽい」ということは成り立つ fact3: もし「「あの図序はクリアファイルでないか二府である」ということは成り立たない」ということは事実だとするとその守備本能は出動要請でない fact4: 「あの図序はクリアファイルでないかそれはデザイン化するか両方だ」ということは偽である fact5: その守備本能は起こし難いがしかし痛ーくない fact6: もし仮にその守備本能がニアレストでないけれど概説書だとするとそれはデザイン化する fact7: もし仮に「あの悲鳴交じりは折り上げない」ということは成り立つとすればそれは三分割しない fact8: 「あの図序はクリアファイルでないかまたは二府であるかあるいは両方である」ということは偽である fact9: もしもその守備本能がデザイン化するならそれは御約束する fact10: もしも何らかのものは出動要請でないならばニアレストでない
fact3 & fact8 -> int1: その守備本能は出動要請でない; fact10 -> int2: もし仮にその守備本能は出動要請でないとしたらそれはニアレストでない; int1 & int2 -> int3: その守備本能はニアレストだということはない; int3 & fact1 -> int4: その守備本能はニアレストであるということはないが概説書である; int4 & fact6 -> int5: その守備本能はデザイン化する; int5 & fact9 -> int6: 「その守備本能は御約束しない」ということは成り立たない; fact2 & fact5 -> int7: その守備本能は脂っぽい; int6 & int7 -> hypothesis;
$facts$ = fact1: その守備本能は概説書である fact2: もしその守備本能は起こし難いけれど痛ーくないならば「それは脂っぽい」ということは成り立つ fact3: もし「「あの図序はクリアファイルでないか二府である」ということは成り立たない」ということは事実だとするとその守備本能は出動要請でない fact4: 「あの図序はクリアファイルでないかそれはデザイン化するか両方だ」ということは偽である fact5: その守備本能は起こし難いがしかし痛ーくない fact6: もし仮にその守備本能がニアレストでないけれど概説書だとするとそれはデザイン化する fact7: もし仮に「あの悲鳴交じりは折り上げない」ということは成り立つとすればそれは三分割しない fact8: 「あの図序はクリアファイルでないかまたは二府であるかあるいは両方である」ということは偽である fact9: もしもその守備本能がデザイン化するならそれは御約束する fact10: もしも何らかのものは出動要請でないならばニアレストでない ; $hypothesis$ = 「「その守備本能は御約束するししかも脂っぽい」ということは成り立つということはない」ということは正しい ; $proof$ = 
fact3 & fact8 -> int1: その守備本能は出動要請でない; fact10 -> int2: もし仮にその守備本能は出動要請でないとしたらそれはニアレストでない; int1 & int2 -> int3: その守備本能はニアレストだということはない; int3 & fact1 -> int4: その守備本能はニアレストであるということはないが概説書である; int4 & fact6 -> int5: その守備本能はデザイン化する; int5 & fact9 -> int6: 「その守備本能は御約束しない」ということは成り立たない; fact2 & fact5 -> int7: その守備本能は脂っぽい; int6 & int7 -> hypothesis; __DISPROVED__
事実1: その守備本能は概説書である
事実2: もしその守備本能は起こし難いけれど痛ーくないならば「それは脂っぽい」ということは成り立つ
事実3: もし「「あの図序はクリアファイルでないか二府である」ということは成り立たない」ということは事実だとするとその守備本能は出動要請でない
事実4: 「あの図序はクリアファイルでないかそれはデザイン化するか両方だ」ということは偽である
事実5: その守備本能は起こし難いがしかし痛ーくない
事実6: もし仮にその守備本能がニアレストでないけれど概説書だとするとそれはデザイン化する
事実7: もし仮に「あの悲鳴交じりは折り上げない」ということは成り立つとすればそれは三分割しない
事実8: 「あの図序はクリアファイルでないかまたは二府であるかあるいは両方である」ということは偽である
事実9: もしもその守備本能がデザイン化するならそれは御約束する
事実10: もしも何らかのものは出動要請でないならばニアレストでない

仮説: 「「その守備本能は御約束するししかも脂っぽい」ということは成り立つということはない」ということは正しい
1. 事実3と事実8から、推論1: "その守備本能は出動要請でない"が導かれる
2. 事実10から、推論2: "もし仮にその守備本能は出動要請でないとしたらそれはニアレストでない"が導かれる
3. 推論1と推論2から、推論3: "その守備本能はニアレストだということはない"が導かれる
4. 推論3と事実1から、推論4: "その守備本能はニアレストであるということはないが概説書である"が導かれる
5. 推論4と事実6から、推論5: "その守備本能はデザイン化する"が導かれる
6. 推論5と事実9から、推論6: "「その守備本能は御約束しない」ということは成り立たない"が導かれる
7. 事実2と事実5から、推論7: "その守備本能は脂っぽい"が導かれる
8. 推論6と推論7から、仮説が否定される

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