あの実験系は改作例で細型銅剣である
fact1: 仮にあの実験系は商品群でないとしたらそれは改作例だということはなくて性分らしくない fact2: この辻家は性分らしくない fact3: 仮になんらかのものが寛げるということはないし予防措置でないとしたら薄汚い fact4: このＤＩＹが姉らしいとすれば否定し難い fact5: この辻家は性分らしくない一方でそれは商品群だ fact6: 姉らしくないものは砂糖漬けだということはないけれど湿気易い fact7: もし「この政府活動は否定し難いということはない」ということは確かだとすれば「予防措置でない」ということは確かである fact8: 仮にこの政府活動が薄汚いとすればこのＤＩＹは姉らしい fact9: この政府活動は否定し難くない fact10: なにかは性分らしいということはないならそれは改作例であるけど否定し難くない fact11: ある物は性分らしいししかもそれは商品群である fact12: もし仮にこのＤＩＹは姉らしいなら「あの実験系は入れ易い」ということは正しい fact13: 仮に性分らしいということはないものが商品群ならあの実験系は改作例である fact14: 仮に「何かは薄汚くないかまたは入れ易いかどちらもである」ということは事実と異なるとしたらそれは姉らしくない fact15: なにがしかのものは商品群だ fact16: もし仮にこの政府活動が寛げない一方でそれは予防措置であるとすれば薄汚い fact17: 仮にこの政府活動は否定し難くないとしたらそれは寛げないしおまけに予防措置でない fact18: もし仮にとある物が寛げない一方で予防措置であるとするとそれは薄汚い fact19: もし仮に何かは入れ易いとすればそれは細型銅剣だ fact20: もしこの政府活動が改作例だとするとあの実験系は予防措置である fact21: この政府活動は予防措置でない
fact3 -> int1: 仮にこの政府活動が寛げなくて加えて予防措置でないならば「薄汚い」ということは確かである; fact17 & fact9 -> int2: 「この政府活動は寛げなくて更にそれは予防措置でない」ということは成り立つ; int1 & int2 -> int3: この政府活動は薄汚い; int3 & fact8 -> int4: このＤＩＹは姉らしい; int4 & fact12 -> int5: あの実験系は入れ易い; fact19 -> int6: もしあの実験系が入れ易いなら細型銅剣である; int5 & int6 -> int7: あの実験系は細型銅剣だ; fact5 -> int8: 「性分らしくないししかも商品群である」物はある; fact13 & int8 -> int9: 「あの実験系は改作例でない」ということは偽である; int7 & int9 -> hypothesis;
「あの実験系は改作例だししかも細型銅剣である」ということは間違いだ
fact22 -> int10: もし仮に「このＤＩＹは薄汚くないかもしくは入れ易いかもしくは両方ともだ」ということは偽だとしたら姉らしくない;
$facts$ = fact1: 仮にあの実験系は商品群でないとしたらそれは改作例だということはなくて性分らしくない fact2: この辻家は性分らしくない fact3: 仮になんらかのものが寛げるということはないし予防措置でないとしたら薄汚い fact4: このＤＩＹが姉らしいとすれば否定し難い fact5: この辻家は性分らしくない一方でそれは商品群だ fact6: 姉らしくないものは砂糖漬けだということはないけれど湿気易い fact7: もし「この政府活動は否定し難いということはない」ということは確かだとすれば「予防措置でない」ということは確かである fact8: 仮にこの政府活動が薄汚いとすればこのＤＩＹは姉らしい fact9: この政府活動は否定し難くない fact10: なにかは性分らしいということはないならそれは改作例であるけど否定し難くない fact11: ある物は性分らしいししかもそれは商品群である fact12: もし仮にこのＤＩＹは姉らしいなら「あの実験系は入れ易い」ということは正しい fact13: 仮に性分らしいということはないものが商品群ならあの実験系は改作例である fact14: 仮に「何かは薄汚くないかまたは入れ易いかどちらもである」ということは事実と異なるとしたらそれは姉らしくない fact15: なにがしかのものは商品群だ fact16: もし仮にこの政府活動が寛げない一方でそれは予防措置であるとすれば薄汚い fact17: 仮にこの政府活動は否定し難くないとしたらそれは寛げないしおまけに予防措置でない fact18: もし仮にとある物が寛げない一方で予防措置であるとするとそれは薄汚い fact19: もし仮に何かは入れ易いとすればそれは細型銅剣だ fact20: もしこの政府活動が改作例だとするとあの実験系は予防措置である fact21: この政府活動は予防措置でない ; $hypothesis$ = あの実験系は改作例で細型銅剣である ; $proof$ = 
fact3 -> int1: 仮にこの政府活動が寛げなくて加えて予防措置でないならば「薄汚い」ということは確かである; fact17 & fact9 -> int2: 「この政府活動は寛げなくて更にそれは予防措置でない」ということは成り立つ; int1 & int2 -> int3: この政府活動は薄汚い; int3 & fact8 -> int4: このＤＩＹは姉らしい; int4 & fact12 -> int5: あの実験系は入れ易い; fact19 -> int6: もしあの実験系が入れ易いなら細型銅剣である; int5 & int6 -> int7: あの実験系は細型銅剣だ; fact5 -> int8: 「性分らしくないししかも商品群である」物はある; fact13 & int8 -> int9: 「あの実験系は改作例でない」ということは偽である; int7 & int9 -> hypothesis; __PROVED__
事実1: 仮にあの実験系は商品群でないとしたらそれは改作例だということはなくて性分らしくない
事実2: この辻家は性分らしくない
事実3: 仮になんらかのものが寛げるということはないし予防措置でないとしたら薄汚い
事実4: このＤＩＹが姉らしいとすれば否定し難い
事実5: この辻家は性分らしくない一方でそれは商品群だ
事実6: 姉らしくないものは砂糖漬けだということはないけれど湿気易い
事実7: もし「この政府活動は否定し難いということはない」ということは確かだとすれば「予防措置でない」ということは確かである
事実8: 仮にこの政府活動が薄汚いとすればこのＤＩＹは姉らしい
事実9: この政府活動は否定し難くない
事実10: なにかは性分らしいということはないならそれは改作例であるけど否定し難くない
事実11: ある物は性分らしいししかもそれは商品群である
事実12: もし仮にこのＤＩＹは姉らしいなら「あの実験系は入れ易い」ということは正しい
事実13: 仮に性分らしいということはないものが商品群ならあの実験系は改作例である
事実14: 仮に「何かは薄汚くないかまたは入れ易いかどちらもである」ということは事実と異なるとしたらそれは姉らしくない
事実15: なにがしかのものは商品群だ
事実16: もし仮にこの政府活動が寛げない一方でそれは予防措置であるとすれば薄汚い
事実17: 仮にこの政府活動は否定し難くないとしたらそれは寛げないしおまけに予防措置でない
事実18: もし仮にとある物が寛げない一方で予防措置であるとするとそれは薄汚い
事実19: もし仮に何かは入れ易いとすればそれは細型銅剣だ
事実20: もしこの政府活動が改作例だとするとあの実験系は予防措置である
事実21: この政府活動は予防措置でない

仮説: あの実験系は改作例で細型銅剣である
1. 事実3から、推論1: "仮にこの政府活動が寛げなくて加えて予防措置でないならば「薄汚い」ということは確かである"が導かれる
2. 事実17と事実9から、推論2: "「この政府活動は寛げなくて更にそれは予防措置でない」ということは成り立つ"が導かれる
3. 推論1と推論2から、推論3: "この政府活動は薄汚い"が導かれる
4. 推論3と事実8から、推論4: "このＤＩＹは姉らしい"が導かれる
5. 推論4と事実12から、推論5: "あの実験系は入れ易い"が導かれる
6. 事実19から、推論6: "もしあの実験系が入れ易いなら細型銅剣である"が導かれる
7. 推論5と推論6から、推論7: "あの実験系は細型銅剣だ"が導かれる
8. 事実5から、推論8: "「性分らしくないししかも商品群である」物はある"が導かれる
9. 事実13と推論8から、推論9: "「あの実験系は改作例でない」ということは偽である"が導かれる
10. 推論7と推論9から、仮説が導かれる

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