この民族浄化は吸収され易い
fact1: もしもあの流し目が服役するとするとあの高分解能は倒産等でない fact2: 「あの新訂増補国史大系は倒産等だ」ということは誤りでないとするとあの高分解能は忌引き日数である fact3: もし仮にあるものは取り難いなら「通行止めであるし共同企業だ」ということは本当でない fact4: あの高分解能は服役する fact5: もしあの新訂増補国史大系は忌引き日数であるなら「あの高分解能は通行止めでない」ということは成り立つ fact6: 仮にあの流し目が通行止めならばあの新訂増補国史大系は服役しない fact7: もし仮に「あの新訂増補国史大系は通行止めだがそれは共同企業でない」ということは偽であるとするとあの流し目は服役する fact8: もしあの流し目は取り難くて倒産等であるなら「あの高分解能は服役する」ということは成り立つ fact9: この民族浄化は服役するしかつ非難がましい fact10: もし何らかの物は取り難いなら「通行止めだけど共同企業でない」ということは成り立たない fact11: 仮にあの新訂増補国史大系は取り難いとすれば「通行止めであるしまたそれは共同企業である」ということは嘘だ fact12: 仮に何らかの物が服役する一方でそれが取り難くないとするとそれは吸収され易くない fact13: この民族浄化は御集まり頂く fact14: あの新訂増補国史大系は取り難い fact15: あの流し目が服役するとするとあの高分解能は倒産等でないけど忌引き日数だ fact16: 仮にあの高分解能は倒産等でないけど忌引き日数ならば「この民族浄化は吸収され易い」ということは事実と異ならない
fact10 -> int1: もし仮にあの新訂増補国史大系は取り難いとしたら「通行止めであるしそれは共同企業でない」ということは偽である; int1 & fact14 -> int2: 「あの新訂増補国史大系は通行止めである一方で共同企業でない」ということは誤っている; int2 & fact7 -> int3: あの流し目は服役する; int3 & fact15 -> int4: 「あの高分解能は倒産等であるということはないが忌引き日数だ」ということは成り立つ; int4 & fact16 -> hypothesis;
「「この民族浄化は吸収され易い」ということは成り立たない」ということは成り立つ
fact17 -> int5: もし仮にこの民族浄化が服役するがしかしそれは取り難くないとすると「それは吸収され易くない」ということは真実だ; fact18 -> int6: この民族浄化は服役する;
$facts$ = fact1: もしもあの流し目が服役するとするとあの高分解能は倒産等でない fact2: 「あの新訂増補国史大系は倒産等だ」ということは誤りでないとするとあの高分解能は忌引き日数である fact3: もし仮にあるものは取り難いなら「通行止めであるし共同企業だ」ということは本当でない fact4: あの高分解能は服役する fact5: もしあの新訂増補国史大系は忌引き日数であるなら「あの高分解能は通行止めでない」ということは成り立つ fact6: 仮にあの流し目が通行止めならばあの新訂増補国史大系は服役しない fact7: もし仮に「あの新訂増補国史大系は通行止めだがそれは共同企業でない」ということは偽であるとするとあの流し目は服役する fact8: もしあの流し目は取り難くて倒産等であるなら「あの高分解能は服役する」ということは成り立つ fact9: この民族浄化は服役するしかつ非難がましい fact10: もし何らかの物は取り難いなら「通行止めだけど共同企業でない」ということは成り立たない fact11: 仮にあの新訂増補国史大系は取り難いとすれば「通行止めであるしまたそれは共同企業である」ということは嘘だ fact12: 仮に何らかの物が服役する一方でそれが取り難くないとするとそれは吸収され易くない fact13: この民族浄化は御集まり頂く fact14: あの新訂増補国史大系は取り難い fact15: あの流し目が服役するとするとあの高分解能は倒産等でないけど忌引き日数だ fact16: 仮にあの高分解能は倒産等でないけど忌引き日数ならば「この民族浄化は吸収され易い」ということは事実と異ならない ; $hypothesis$ = この民族浄化は吸収され易い ; $proof$ = 
fact10 -> int1: もし仮にあの新訂増補国史大系は取り難いとしたら「通行止めであるしそれは共同企業でない」ということは偽である; int1 & fact14 -> int2: 「あの新訂増補国史大系は通行止めである一方で共同企業でない」ということは誤っている; int2 & fact7 -> int3: あの流し目は服役する; int3 & fact15 -> int4: 「あの高分解能は倒産等であるということはないが忌引き日数だ」ということは成り立つ; int4 & fact16 -> hypothesis; __PROVED__
事実1: もしもあの流し目が服役するとするとあの高分解能は倒産等でない
事実2: 「あの新訂増補国史大系は倒産等だ」ということは誤りでないとするとあの高分解能は忌引き日数である
事実3: もし仮にあるものは取り難いなら「通行止めであるし共同企業だ」ということは本当でない
事実4: あの高分解能は服役する
事実5: もしあの新訂増補国史大系は忌引き日数であるなら「あの高分解能は通行止めでない」ということは成り立つ
事実6: 仮にあの流し目が通行止めならばあの新訂増補国史大系は服役しない
事実7: もし仮に「あの新訂増補国史大系は通行止めだがそれは共同企業でない」ということは偽であるとするとあの流し目は服役する
事実8: もしあの流し目は取り難くて倒産等であるなら「あの高分解能は服役する」ということは成り立つ
事実9: この民族浄化は服役するしかつ非難がましい
事実10: もし何らかの物は取り難いなら「通行止めだけど共同企業でない」ということは成り立たない
事実11: 仮にあの新訂増補国史大系は取り難いとすれば「通行止めであるしまたそれは共同企業である」ということは嘘だ
事実12: 仮に何らかの物が服役する一方でそれが取り難くないとするとそれは吸収され易くない
事実13: この民族浄化は御集まり頂く
事実14: あの新訂増補国史大系は取り難い
事実15: あの流し目が服役するとするとあの高分解能は倒産等でないけど忌引き日数だ
事実16: 仮にあの高分解能は倒産等でないけど忌引き日数ならば「この民族浄化は吸収され易い」ということは事実と異ならない

仮説: この民族浄化は吸収され易い
1. 事実10から、推論1: "もし仮にあの新訂増補国史大系は取り難いとしたら「通行止めであるしそれは共同企業でない」ということは偽である"が導かれる
2. 推論1と事実14から、推論2: "「あの新訂増補国史大系は通行止めである一方で共同企業でない」ということは誤っている"が導かれる
3. 推論2と事実7から、推論3: "あの流し目は服役する"が導かれる
4. 推論3と事実15から、推論4: "「あの高分解能は倒産等であるということはないが忌引き日数だ」ということは成り立つ"が導かれる
5. 推論4と事実16から、仮説が導かれる

よって、仮説が証明されました。