その贈賄工作は陥らない
fact1: もし仮に何らかの物は陥るとしたら「それは恋い焦がれる」ということは事実である fact2: もし仮にあの二数が話し難くないとするとその就寝直前は第二十二事件でないしコレクションしない fact3: 何らかの物は第二十二事件でないけどコレクションする fact4: その就寝直前が当て付けがましいけど捨て難いということはないとするとそれは十松だ fact5: 「仮にその就寝直前が十松であるならその贈賄工作は陥る」ということは事実である fact6: もしその髄液が画像処理ソフトであるけれど青桐林でないとしたらあの二数は話し難くない fact7: 当て付けがましいし加えて捨て難くないものは十松だ fact8: 「その贈賄工作はバックしないがしかし十松だ」ということは偽である fact9: 「第二十二事件でない」物はある fact10: 当て付けがましいということはないしかつ捨て難くないものは十松でない fact11: 仮にその就寝直前が当て付けがましくらないがしかしそれが捨て難いならそれは十松である fact12: 何らかのものが第二十二事件でない一方でコレクションするとするとその就寝直前はバックしない fact13: 仮に「その就寝直前は当て付けがましいということはないし捨て難くない」ということは誤りならそれはバックする fact14: なにかは第二十二事件だしコレクションする fact15: もしも何かは当て付けがましくらないけどバックすればその就寝直前は十松でない fact16: もし仮に当て付けがましくらない物が捨て難いとすれば十松だ fact17: とあるものはコレクションする fact18: 「その就寝直前は当て付けがましいが捨て難くない」ということは嘘である fact19: 「その就寝直前が当て付けはましくらないが捨て難い」ということは間違っている fact20: 仮に「「バックしなくて十松である」ということは成り立たない」ものがあるならその就寝直前は集英社文庫でない fact21: 仮に「ある物は第二十二事件でない」ということは誤りでないならそれは十松であるがしかしバックしない
void -> assump1: 以下のように仮定する。「その就寝直前が当て付けはましくらないししかも捨て難くない」ということは嘘だ; fact13 & assump1 -> int1: その就寝直前はバックする; fact12 & fact3 -> int2: その就寝直前はバックしない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その就寝直前は当て付けがましいということはないしかつ捨て難くない; fact10 -> int5: もしその就寝直前が当て付けはましくらないしそれに捨て難くないならばそれは十松だ; int4 & int5 -> int6: 「その就寝直前は十松だ」ということは真実である; int6 & fact5 -> hypothesis;
とあるものは集英社文庫でないが恋い焦がれる
fact22 -> int7: 「「バックするということはないけど十松である」ということは成り立たない」物はある; int7 & fact24 -> int8: その就寝直前は集英社文庫でない; fact23 -> int9: もし仮にその就寝直前が陥るとしたらそれは恋い焦がれる;
$facts$ = fact1: もし仮に何らかの物は陥るとしたら「それは恋い焦がれる」ということは事実である fact2: もし仮にあの二数が話し難くないとするとその就寝直前は第二十二事件でないしコレクションしない fact3: 何らかの物は第二十二事件でないけどコレクションする fact4: その就寝直前が当て付けがましいけど捨て難いということはないとするとそれは十松だ fact5: 「仮にその就寝直前が十松であるならその贈賄工作は陥る」ということは事実である fact6: もしその髄液が画像処理ソフトであるけれど青桐林でないとしたらあの二数は話し難くない fact7: 当て付けがましいし加えて捨て難くないものは十松だ fact8: 「その贈賄工作はバックしないがしかし十松だ」ということは偽である fact9: 「第二十二事件でない」物はある fact10: 当て付けがましいということはないしかつ捨て難くないものは十松でない fact11: 仮にその就寝直前が当て付けがましくらないがしかしそれが捨て難いならそれは十松である fact12: 何らかのものが第二十二事件でない一方でコレクションするとするとその就寝直前はバックしない fact13: 仮に「その就寝直前は当て付けがましいということはないし捨て難くない」ということは誤りならそれはバックする fact14: なにかは第二十二事件だしコレクションする fact15: もしも何かは当て付けがましくらないけどバックすればその就寝直前は十松でない fact16: もし仮に当て付けがましくらない物が捨て難いとすれば十松だ fact17: とあるものはコレクションする fact18: 「その就寝直前は当て付けがましいが捨て難くない」ということは嘘である fact19: 「その就寝直前が当て付けはましくらないが捨て難い」ということは間違っている fact20: 仮に「「バックしなくて十松である」ということは成り立たない」ものがあるならその就寝直前は集英社文庫でない fact21: 仮に「ある物は第二十二事件でない」ということは誤りでないならそれは十松であるがしかしバックしない ; $hypothesis$ = その贈賄工作は陥らない ; $proof$ = 
void -> assump1: 以下のように仮定する。「その就寝直前が当て付けはましくらないししかも捨て難くない」ということは嘘だ; fact13 & assump1 -> int1: その就寝直前はバックする; fact12 & fact3 -> int2: その就寝直前はバックしない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その就寝直前は当て付けがましいということはないしかつ捨て難くない; fact10 -> int5: もしその就寝直前が当て付けはましくらないしそれに捨て難くないならばそれは十松だ; int4 & int5 -> int6: 「その就寝直前は十松だ」ということは真実である; int6 & fact5 -> hypothesis; __DISPROVED__
事実1: もし仮に何らかの物は陥るとしたら「それは恋い焦がれる」ということは事実である
事実2: もし仮にあの二数が話し難くないとするとその就寝直前は第二十二事件でないしコレクションしない
事実3: 何らかの物は第二十二事件でないけどコレクションする
事実4: その就寝直前が当て付けがましいけど捨て難いということはないとするとそれは十松だ
事実5: 「仮にその就寝直前が十松であるならその贈賄工作は陥る」ということは事実である
事実6: もしその髄液が画像処理ソフトであるけれど青桐林でないとしたらあの二数は話し難くない
事実7: 当て付けがましいし加えて捨て難くないものは十松だ
事実8: 「その贈賄工作はバックしないがしかし十松だ」ということは偽である
事実9: 「第二十二事件でない」物はある
事実10: 当て付けがましいということはないしかつ捨て難くないものは十松でない
事実11: 仮にその就寝直前が当て付けがましくらないがしかしそれが捨て難いならそれは十松である
事実12: 何らかのものが第二十二事件でない一方でコレクションするとするとその就寝直前はバックしない
事実13: 仮に「その就寝直前は当て付けがましいということはないし捨て難くない」ということは誤りならそれはバックする
事実14: なにかは第二十二事件だしコレクションする
事実15: もしも何かは当て付けがましくらないけどバックすればその就寝直前は十松でない
事実16: もし仮に当て付けがましくらない物が捨て難いとすれば十松だ
事実17: とあるものはコレクションする
事実18: 「その就寝直前は当て付けがましいが捨て難くない」ということは嘘である
事実19: 「その就寝直前が当て付けはましくらないが捨て難い」ということは間違っている
事実20: 仮に「「バックしなくて十松である」ということは成り立たない」ものがあるならその就寝直前は集英社文庫でない
事実21: 仮に「ある物は第二十二事件でない」ということは誤りでないならそれは十松であるがしかしバックしない

仮説: その贈賄工作は陥らない
1. 仮定1: 以下のように仮定する。「その就寝直前が当て付けはましくらないししかも捨て難くない」ということは嘘だ
2. 事実13と仮定1から、推論1: "その就寝直前はバックする"が導かれる
3. 事実12と事実3から、推論2: "その就寝直前はバックしない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "その就寝直前は当て付けがましいということはないしかつ捨て難くない"が導かれる
6. 事実10から、推論5: "もしその就寝直前が当て付けはましくらないしそれに捨て難くないならばそれは十松だ"が導かれる
7. 推論4と推論5から、推論6: "「その就寝直前は十松だ」ということは真実である"が導かれる
8. 推論6と事実5から、仮説が否定される

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