「あの機械式は探知出来るということはない」ということは間違いでない
fact1: 消化し難くない物は狙われ易い fact2: この下水溝は狙われ易くない fact3: 「あの四時点は探知出来るししかも狙われ易い」ということは事実と異なる fact4: その都市国家は探知出来る fact5: もしもなにがしかの物が根強いとすれば読み継ぐ fact6: 仮にその近位が探知出来ないとすればそれはほろ苦い fact7: 「あの四時点は読み継ぐ一方で狙われ易くない」ということは成り立つということはないとするとあの機械式は探知出来る fact8: もしその近位がレチナールであるとすればほろ苦くてそれは消化し難くない fact9: その近位は探知出来る fact10: もし仮にあの機械式が探知出来ないならばほろ苦い fact11: あの四時点はほろ苦いけれど狙われ易くない fact12: もし仮にその近位がレチナールだとしたらそれはほろ苦い fact13: 仮にあの四時点は読み継ぐなら「その近位はレチナールでない一方でそれは狙われ易い」ということは事実と異なる fact14: 「その近位がレチナールだしさらに読み継ぐ」ということは事実と異なる fact15: もし仮になんらかのものは読み継ぐということはないとしたら「それはレチナールだ」ということは確かである fact16: あの機械式は消化し難い fact17: あの四時点はレチナールである fact18: 「もしこの懐柔策がクラス替えであるとしたらこの懐柔策は探知出来る」ということは事実だ fact19: その近位はレチナールだ fact20: もしその近位は狙われ易いとしたら「あの四時点は読み継ぐけどそれは狙われ易くない」ということは嘘である fact21: 「あの四時点は時分であるしさらにレチナールだ」ということは事実と異なる
fact8 & fact19 -> int1: その近位はほろ苦いが消化し難くない; int1 -> int2: その近位は消化し難くない; fact1 -> int3: もしその近位は消化し難くないとするとそれは狙われ易い; int2 & int3 -> int4: その近位は狙われ易い; int4 & fact20 -> int5: 「「あの四時点は読み継ぐがしかし狙われ易くない」ということは成り立つ」ということは本当であるということはない; int5 & fact7 -> hypothesis;
あの機械式は探知出来るということはない
fact22 -> int6: もし仮にあの四時点が根強いとすれば読み継ぐ;
$facts$ = fact1: 消化し難くない物は狙われ易い fact2: この下水溝は狙われ易くない fact3: 「あの四時点は探知出来るししかも狙われ易い」ということは事実と異なる fact4: その都市国家は探知出来る fact5: もしもなにがしかの物が根強いとすれば読み継ぐ fact6: 仮にその近位が探知出来ないとすればそれはほろ苦い fact7: 「あの四時点は読み継ぐ一方で狙われ易くない」ということは成り立つということはないとするとあの機械式は探知出来る fact8: もしその近位がレチナールであるとすればほろ苦くてそれは消化し難くない fact9: その近位は探知出来る fact10: もし仮にあの機械式が探知出来ないならばほろ苦い fact11: あの四時点はほろ苦いけれど狙われ易くない fact12: もし仮にその近位がレチナールだとしたらそれはほろ苦い fact13: 仮にあの四時点は読み継ぐなら「その近位はレチナールでない一方でそれは狙われ易い」ということは事実と異なる fact14: 「その近位がレチナールだしさらに読み継ぐ」ということは事実と異なる fact15: もし仮になんらかのものは読み継ぐということはないとしたら「それはレチナールだ」ということは確かである fact16: あの機械式は消化し難い fact17: あの四時点はレチナールである fact18: 「もしこの懐柔策がクラス替えであるとしたらこの懐柔策は探知出来る」ということは事実だ fact19: その近位はレチナールだ fact20: もしその近位は狙われ易いとしたら「あの四時点は読み継ぐけどそれは狙われ易くない」ということは嘘である fact21: 「あの四時点は時分であるしさらにレチナールだ」ということは事実と異なる ; $hypothesis$ = 「あの機械式は探知出来るということはない」ということは間違いでない ; $proof$ = 
fact8 & fact19 -> int1: その近位はほろ苦いが消化し難くない; int1 -> int2: その近位は消化し難くない; fact1 -> int3: もしその近位は消化し難くないとするとそれは狙われ易い; int2 & int3 -> int4: その近位は狙われ易い; int4 & fact20 -> int5: 「「あの四時点は読み継ぐがしかし狙われ易くない」ということは成り立つ」ということは本当であるということはない; int5 & fact7 -> hypothesis; __DISPROVED__
事実1: 消化し難くない物は狙われ易い
事実2: この下水溝は狙われ易くない
事実3: 「あの四時点は探知出来るししかも狙われ易い」ということは事実と異なる
事実4: その都市国家は探知出来る
事実5: もしもなにがしかの物が根強いとすれば読み継ぐ
事実6: 仮にその近位が探知出来ないとすればそれはほろ苦い
事実7: 「あの四時点は読み継ぐ一方で狙われ易くない」ということは成り立つということはないとするとあの機械式は探知出来る
事実8: もしその近位がレチナールであるとすればほろ苦くてそれは消化し難くない
事実9: その近位は探知出来る
事実10: もし仮にあの機械式が探知出来ないならばほろ苦い
事実11: あの四時点はほろ苦いけれど狙われ易くない
事実12: もし仮にその近位がレチナールだとしたらそれはほろ苦い
事実13: 仮にあの四時点は読み継ぐなら「その近位はレチナールでない一方でそれは狙われ易い」ということは事実と異なる
事実14: 「その近位がレチナールだしさらに読み継ぐ」ということは事実と異なる
事実15: もし仮になんらかのものは読み継ぐということはないとしたら「それはレチナールだ」ということは確かである
事実16: あの機械式は消化し難い
事実17: あの四時点はレチナールである
事実18: 「もしこの懐柔策がクラス替えであるとしたらこの懐柔策は探知出来る」ということは事実だ
事実19: その近位はレチナールだ
事実20: もしその近位は狙われ易いとしたら「あの四時点は読み継ぐけどそれは狙われ易くない」ということは嘘である
事実21: 「あの四時点は時分であるしさらにレチナールだ」ということは事実と異なる

仮説: 「あの機械式は探知出来るということはない」ということは間違いでない
1. 事実8と事実19から、推論1: "その近位はほろ苦いが消化し難くない"が導かれる
2. 推論1から、推論2: "その近位は消化し難くない"が導かれる
3. 事実1から、推論3: "もしその近位は消化し難くないとするとそれは狙われ易い"が導かれる
4. 推論2と推論3から、推論4: "その近位は狙われ易い"が導かれる
5. 推論4と事実20から、推論5: "「「あの四時点は読み継ぐがしかし狙われ易くない」ということは成り立つ」ということは本当であるということはない"が導かれる
6. 推論5と事実7から、仮説が否定される

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