「この編集前はドッキングするなら「その社会運動はど偉いけれど事業所人事部であるということはない」ということは間違っている」ということは成り立たない
fact1: もし仮にあの白糸がど偉くないならその社会運動はど偉いけれど事業所人事部でない fact2: この編集前はど偉いとしたら「その社会運動はドッキングするしそれは事業所人事部である」ということは誤りだ fact3: もし仮に「なにかは化合しないけどそれは一断面だ」ということは間違いであるならばそれは事業所人事部でない fact4: この編集前は良い fact5: もし仮にあの白糸はど偉くないとしたら「その社会運動はど偉いがしかし事業所人事部でない」ということは誤っている fact6: この編集前はドッキングするなら「あのＸ線写真は良くないかもしくは呆気なくないかあるいは両方ともだ」ということは成り立たない fact7: もしこの編集前はドッキングするとすると「あのＸ線写真は良い」ということは真実である fact8: もしあの白糸はど偉くないとすると「その社会運動はど偉くて事業所人事部である」ということは誤っている fact9: もしもその社会運動は事業所人事部だとしたら「あのＸ線写真はど偉くないかまたは良くない」ということは成り立たない fact10: もし仮にあのＸ線写真は誤解し易くないとすれば「この編集前は化合しないけれど一断面である」ということは間違いだ fact11: 何らかの物は事業所人事部でないとすれば「それは即位前であるしドッキングする」ということは嘘だ fact12: 「あのＸ線写真は良くないかもしくはそれは呆気なくない」ということは嘘だとすれば「あの白糸はど偉くない」ということは事実だ fact13: もし「その社会運動は事業所人事部でないかあるいはそれは良くないかあるいは両方ともだ」ということは成り立たないならばあのＸ線写真はど偉いということはない fact14: 「その社会運動はドッキングするし加えて事業所人事部だ」ということは嘘だ fact15: あの白糸が満期日でないしおまけに誤解し易くないとすればあのＸ線写真は誤解し易くない fact16: あのＸ線写真は良い fact17: もしも「あるものは即位前であるししかもドッキングする」ということは誤っているなら「それはドッキングしない」ということは成り立つ fact18: あのＸ線写真は良いとすると「その社会運動はドッキングするがど偉いということはない」ということは誤りだ fact19: とある物はドッキングしないとすれば「それは生じ易いけれどど偉いということはない」ということは誤っている fact20: もし仮に「この編集前は呆気ないかあるいは良くない」ということは偽であるならばあのＸ線写真はドッキングしない fact21: この編集前はドッキングしないとすると「あのＸ線写真はドッキングするが良くない」ということは偽だ
void -> assump1: 以下のように仮定する。「この編集前はドッキングする」ということは成り立つ; fact6 & assump1 -> int1: 「あのＸ線写真は良くないか呆気なくない」ということは誤りである; int1 & fact12 -> int2: 「あの白糸はど偉いということはない」ということは真実だ; int2 & fact5 -> int3: 「「その社会運動はど偉いけれどそれは事業所人事部でない」ということは間違っている」ということは正しい; [assump1] & int3 -> hypothesis;
「この編集前は生じ易いけれどど偉くない」ということは事実と異なる
fact24 -> int4: もしこの編集前はドッキングしないとしたら「生じ易いしさらにど偉くない」ということは誤っている; fact22 -> int5: もしも「この編集前は即位前でかつドッキングする」ということは誤りだとしたら「ドッキングしない」ということは成り立つ; fact23 -> int6: この編集前は事業所人事部でないとしたら「それが即位前だし更にそれはドッキングする」ということは成り立つということはない; fact25 -> int7: 「この編集前は化合するということはないけど一断面だ」ということは偽だとすれば「事業所人事部でない」ということは確かである;
$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: 以下のように仮定する。「この編集前はドッキングする」ということは成り立つ; fact6 & assump1 -> int1: 「あのＸ線写真は良くないか呆気なくない」ということは誤りである; int1 & fact12 -> int2: 「あの白糸はど偉いということはない」ということは真実だ; int2 & fact5 -> int3: 「「その社会運動はど偉いけれどそれは事業所人事部でない」ということは間違っている」ということは正しい; [assump1] & int3 -> 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. 事実6と仮定1から、推論1: "「あのＸ線写真は良くないか呆気なくない」ということは誤りである"が導かれる
3. 推論1と事実12から、推論2: "「あの白糸はど偉いということはない」ということは真実だ"が導かれる
4. 推論2と事実5から、推論3: "「「その社会運動はど偉いけれどそれは事業所人事部でない」ということは間違っている」ということは正しい"が導かれる
5. [仮定1]と推論3から、仮説が否定される

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