「あの十五〜十六世紀は貸し下ぐないけどそれはつるつるする」ということは事実と異なる
fact1: もしあのサルーキが貸し下ぐないとすればあの十五〜十六世紀は和暦でない fact2: もしもあのサルーキがストップ高でないならあの十五〜十六世紀は意味しなくてまた和暦でない fact3: その処遇改善は意味しない fact4: もしもなにがしかの物は自立支援であるなら「それは貸し下ぐないしそれはつるつるする」ということは成り立たない fact5: もし仮に「この白点花潜はストップ高でないが廃止する」ということは成り立たないとすればあのサルーキはストップ高でない fact6: あのサルーキは自立支援であるかあるいはそれは和暦であるかまたは両方ともである fact7: あの十五〜十六世紀が自立支援であるとしたらあのサルーキは貸し下ぐ fact8: この白点花潜はつるつるするかあるいは意味するかまたはどちらもだ fact9: 「あの総合支援体制は意味しない」ということは事実だ fact10: もし仮にあのサルーキが自立支援ならばこの白点花潜は意味しない fact11: もしあの十五〜十六世紀は和暦でないとしたら「あのサルーキはつるつるするということはない」ということは成り立つ fact12: この白点花潜が意味しないならあの十五〜十六世紀は貸し下ぐないがそれはつるつるする fact13: もし仮にあのサルーキが和暦だとするとこの白点花潜は意味しない fact14: この白点花潜がつるつるするとするとあの十五〜十六世紀は意味しない fact15: あの十五〜十六世紀は自立支援でない fact16: もしもなにがしかのものは意味しなくて和暦だということはないとしたらそれは自立支援だ
fact6 & fact10 & fact13 -> int1: この白点花潜は意味しない; int1 & fact12 -> hypothesis;
「あの十五〜十六世紀は貸し下ぐということはないけれどつるつるする」ということは嘘である
fact17 -> int2: 「あの十五〜十六世紀は自立支援でない」ということは本当でないとすれば「それは貸し下ぐないけれどつるつるする」ということは間違っている; fact18 -> int3: もしもあの十五〜十六世紀が意味しないし和暦でないとすれば自立支援だ;
$facts$ = fact1: もしあのサルーキが貸し下ぐないとすればあの十五〜十六世紀は和暦でない fact2: もしもあのサルーキがストップ高でないならあの十五〜十六世紀は意味しなくてまた和暦でない fact3: その処遇改善は意味しない fact4: もしもなにがしかの物は自立支援であるなら「それは貸し下ぐないしそれはつるつるする」ということは成り立たない fact5: もし仮に「この白点花潜はストップ高でないが廃止する」ということは成り立たないとすればあのサルーキはストップ高でない fact6: あのサルーキは自立支援であるかあるいはそれは和暦であるかまたは両方ともである fact7: あの十五〜十六世紀が自立支援であるとしたらあのサルーキは貸し下ぐ fact8: この白点花潜はつるつるするかあるいは意味するかまたはどちらもだ fact9: 「あの総合支援体制は意味しない」ということは事実だ fact10: もし仮にあのサルーキが自立支援ならばこの白点花潜は意味しない fact11: もしあの十五〜十六世紀は和暦でないとしたら「あのサルーキはつるつるするということはない」ということは成り立つ fact12: この白点花潜が意味しないならあの十五〜十六世紀は貸し下ぐないがそれはつるつるする fact13: もし仮にあのサルーキが和暦だとするとこの白点花潜は意味しない fact14: この白点花潜がつるつるするとするとあの十五〜十六世紀は意味しない fact15: あの十五〜十六世紀は自立支援でない fact16: もしもなにがしかのものは意味しなくて和暦だということはないとしたらそれは自立支援だ ; $hypothesis$ = 「あの十五〜十六世紀は貸し下ぐないけどそれはつるつるする」ということは事実と異なる ; $proof$ = 
fact6 & fact10 & fact13 -> int1: この白点花潜は意味しない; int1 & fact12 -> hypothesis; __DISPROVED__
事実1: もしあのサルーキが貸し下ぐないとすればあの十五〜十六世紀は和暦でない
事実2: もしもあのサルーキがストップ高でないならあの十五〜十六世紀は意味しなくてまた和暦でない
事実3: その処遇改善は意味しない
事実4: もしもなにがしかの物は自立支援であるなら「それは貸し下ぐないしそれはつるつるする」ということは成り立たない
事実5: もし仮に「この白点花潜はストップ高でないが廃止する」ということは成り立たないとすればあのサルーキはストップ高でない
事実6: あのサルーキは自立支援であるかあるいはそれは和暦であるかまたは両方ともである
事実7: あの十五〜十六世紀が自立支援であるとしたらあのサルーキは貸し下ぐ
事実8: この白点花潜はつるつるするかあるいは意味するかまたはどちらもだ
事実9: 「あの総合支援体制は意味しない」ということは事実だ
事実10: もし仮にあのサルーキが自立支援ならばこの白点花潜は意味しない
事実11: もしあの十五〜十六世紀は和暦でないとしたら「あのサルーキはつるつるするということはない」ということは成り立つ
事実12: この白点花潜が意味しないならあの十五〜十六世紀は貸し下ぐないがそれはつるつるする
事実13: もし仮にあのサルーキが和暦だとするとこの白点花潜は意味しない
事実14: この白点花潜がつるつるするとするとあの十五〜十六世紀は意味しない
事実15: あの十五〜十六世紀は自立支援でない
事実16: もしもなにがしかのものは意味しなくて和暦だということはないとしたらそれは自立支援だ

仮説: 「あの十五〜十六世紀は貸し下ぐないけどそれはつるつるする」ということは事実と異なる
1. 事実6と事実10と事実13から、推論1: "この白点花潜は意味しない"が導かれる
2. 推論1と事実12から、仮説が否定される

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