「あの全国区は並ばないけれど誘発し易い」ということは正しくない
fact1: あの全国区は誘発し易い fact2: その結膜は痛ましい fact3: 仮にあの全国区が脂っぽいとするとそれは誘発し易い fact4: 脂っぽいということはないしその上痛ましいものは殴り掛かる fact5: 「あの変性・凝集が見詰め有るということはないしさらにそれは通しでない」ということは嘘だ fact6: 「あの変性・凝集は見詰め有らないしおまけにそれは通しでない」ということは成り立たないならば痛ましい fact7: 仮にその結膜は殴り掛かれば「それは捕まえ易い」ということは本当である fact8: その結膜は改正省令付則だ fact9: もし仮にあの変性・凝集が痛ましいとしたらその結膜は脂っぽくないがしかしそれは痛ましい fact10: もしその結膜が捕まえ易くて改正省令付則であるとしたらあの全国区は並ばない
fact6 & fact5 -> int1: あの変性・凝集は痛ましい; int1 & fact9 -> int2: その結膜は脂っぽくないが痛ましい; fact4 -> int3: もしもその結膜は脂っぽくない一方で痛ましいとするとそれは殴り掛かる; int2 & int3 -> int4: その結膜は殴り掛かる; int4 & fact7 -> int5: その結膜は捕まえ易い; int5 & fact8 -> int6: その結膜は捕まえ易いしその上改正省令付則だ; int6 & fact10 -> int7: あの全国区は並ばない; int7 & fact1 -> hypothesis;
$facts$ = fact1: あの全国区は誘発し易い fact2: その結膜は痛ましい fact3: 仮にあの全国区が脂っぽいとするとそれは誘発し易い fact4: 脂っぽいということはないしその上痛ましいものは殴り掛かる fact5: 「あの変性・凝集が見詰め有るということはないしさらにそれは通しでない」ということは嘘だ fact6: 「あの変性・凝集は見詰め有らないしおまけにそれは通しでない」ということは成り立たないならば痛ましい fact7: 仮にその結膜は殴り掛かれば「それは捕まえ易い」ということは本当である fact8: その結膜は改正省令付則だ fact9: もし仮にあの変性・凝集が痛ましいとしたらその結膜は脂っぽくないがしかしそれは痛ましい fact10: もしその結膜が捕まえ易くて改正省令付則であるとしたらあの全国区は並ばない ; $hypothesis$ = 「あの全国区は並ばないけれど誘発し易い」ということは正しくない ; $proof$ = 
fact6 & fact5 -> int1: あの変性・凝集は痛ましい; int1 & fact9 -> int2: その結膜は脂っぽくないが痛ましい; fact4 -> int3: もしもその結膜は脂っぽくない一方で痛ましいとするとそれは殴り掛かる; int2 & int3 -> int4: その結膜は殴り掛かる; int4 & fact7 -> int5: その結膜は捕まえ易い; int5 & fact8 -> int6: その結膜は捕まえ易いしその上改正省令付則だ; int6 & fact10 -> int7: あの全国区は並ばない; int7 & fact1 -> hypothesis; __DISPROVED__
事実1: あの全国区は誘発し易い
事実2: その結膜は痛ましい
事実3: 仮にあの全国区が脂っぽいとするとそれは誘発し易い
事実4: 脂っぽいということはないしその上痛ましいものは殴り掛かる
事実5: 「あの変性・凝集が見詰め有るということはないしさらにそれは通しでない」ということは嘘だ
事実6: 「あの変性・凝集は見詰め有らないしおまけにそれは通しでない」ということは成り立たないならば痛ましい
事実7: 仮にその結膜は殴り掛かれば「それは捕まえ易い」ということは本当である
事実8: その結膜は改正省令付則だ
事実9: もし仮にあの変性・凝集が痛ましいとしたらその結膜は脂っぽくないがしかしそれは痛ましい
事実10: もしその結膜が捕まえ易くて改正省令付則であるとしたらあの全国区は並ばない

仮説: 「あの全国区は並ばないけれど誘発し易い」ということは正しくない
1. 事実6と事実5から、推論1: "あの変性・凝集は痛ましい"が導かれる
2. 推論1と事実9から、推論2: "その結膜は脂っぽくないが痛ましい"が導かれる
3. 事実4から、推論3: "もしもその結膜は脂っぽくない一方で痛ましいとするとそれは殴り掛かる"が導かれる
4. 推論2と推論3から、推論4: "その結膜は殴り掛かる"が導かれる
5. 推論4と事実7から、推論5: "その結膜は捕まえ易い"が導かれる
6. 推論5と事実8から、推論6: "その結膜は捕まえ易いしその上改正省令付則だ"が導かれる
7. 推論6と事実10から、推論7: "あの全国区は並ばない"が導かれる
8. 推論7と事実1から、仮説が否定される

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