「この長寿社会は扱い易いかあるいは被らすかもしくは両方ともである」ということは確かでない
fact1: もしその流通課業条件は利息だとすると「このジギタリスは利息でない一方で掛け易い」ということは成り立つということはない fact2: もし仮に「ある物は利息でない一方で掛け易い」ということは嘘だとしたらそれはかわゆいということはない fact3: 仮にその流通課業条件は捲るとしたら「利息である」ということは事実である fact4: 断り難いということはないものは扱い易い fact5: この主病巣は断り難い fact6: もし仮にその流通課業条件は利息であるとすると「このジギタリスは利息だし掛け易い」ということは事実と異なる fact7: もし仮にこのジギタリスが掛け易いとしたらそれは親しみ易い fact8: もし仮に何らかの物は利息だとすると「かわゆくない」ということは真実である fact9: その流通課業条件は捲る fact10: もしもなにかはかわゆくないならばキャラメルソースである fact11: 仮にこのジギタリスはキャラメルソースなら「この主病巣は親しみ易いかもしくはキャラメルソースでないかどちらもである」ということは誤っている fact12: もし「「この主病巣は親しみ易いかまたはキャラメルソースでない」ということは真実だ」ということは真実でないならこの長寿社会は断り難くない
fact3 & fact9 -> int1: その流通課業条件は利息だ; int1 & fact1 -> int2: 「このジギタリスは利息でない一方で掛け易い」ということは間違いである; fact2 -> int3: もし「このジギタリスは利息でないがそれは掛け易い」ということは成り立たないならばかわゆくない; int2 & int3 -> int4: このジギタリスはかわゆくない; fact10 -> int5: 仮に「このジギタリスはかわゆくない」ということは本当ならばキャラメルソースである; int4 & int5 -> int6: このジギタリスはキャラメルソースだ; int6 & fact11 -> int7: 「この主病巣は親しみ易いかもしくはそれはキャラメルソースであるということはないかもしくは両方ともだ」ということは間違いだ; int7 & fact12 -> int8: この長寿社会は断り難いということはない; fact4 -> int9: もしこの長寿社会が断り難くないならば扱い易い; int8 & int9 -> int10: この長寿社会は扱い易い; int10 -> hypothesis;
$facts$ = fact1: もしその流通課業条件は利息だとすると「このジギタリスは利息でない一方で掛け易い」ということは成り立つということはない fact2: もし仮に「ある物は利息でない一方で掛け易い」ということは嘘だとしたらそれはかわゆいということはない fact3: 仮にその流通課業条件は捲るとしたら「利息である」ということは事実である fact4: 断り難いということはないものは扱い易い fact5: この主病巣は断り難い fact6: もし仮にその流通課業条件は利息であるとすると「このジギタリスは利息だし掛け易い」ということは事実と異なる fact7: もし仮にこのジギタリスが掛け易いとしたらそれは親しみ易い fact8: もし仮に何らかの物は利息だとすると「かわゆくない」ということは真実である fact9: その流通課業条件は捲る fact10: もしもなにかはかわゆくないならばキャラメルソースである fact11: 仮にこのジギタリスはキャラメルソースなら「この主病巣は親しみ易いかもしくはキャラメルソースでないかどちらもである」ということは誤っている fact12: もし「「この主病巣は親しみ易いかまたはキャラメルソースでない」ということは真実だ」ということは真実でないならこの長寿社会は断り難くない ; $hypothesis$ = 「この長寿社会は扱い易いかあるいは被らすかもしくは両方ともである」ということは確かでない ; $proof$ = 
fact3 & fact9 -> int1: その流通課業条件は利息だ; int1 & fact1 -> int2: 「このジギタリスは利息でない一方で掛け易い」ということは間違いである; fact2 -> int3: もし「このジギタリスは利息でないがそれは掛け易い」ということは成り立たないならばかわゆくない; int2 & int3 -> int4: このジギタリスはかわゆくない; fact10 -> int5: 仮に「このジギタリスはかわゆくない」ということは本当ならばキャラメルソースである; int4 & int5 -> int6: このジギタリスはキャラメルソースだ; int6 & fact11 -> int7: 「この主病巣は親しみ易いかもしくはそれはキャラメルソースであるということはないかもしくは両方ともだ」ということは間違いだ; int7 & fact12 -> int8: この長寿社会は断り難いということはない; fact4 -> int9: もしこの長寿社会が断り難くないならば扱い易い; int8 & int9 -> int10: この長寿社会は扱い易い; int10 -> hypothesis; __DISPROVED__
事実1: もしその流通課業条件は利息だとすると「このジギタリスは利息でない一方で掛け易い」ということは成り立つということはない
事実2: もし仮に「ある物は利息でない一方で掛け易い」ということは嘘だとしたらそれはかわゆいということはない
事実3: 仮にその流通課業条件は捲るとしたら「利息である」ということは事実である
事実4: 断り難いということはないものは扱い易い
事実5: この主病巣は断り難い
事実6: もし仮にその流通課業条件は利息であるとすると「このジギタリスは利息だし掛け易い」ということは事実と異なる
事実7: もし仮にこのジギタリスが掛け易いとしたらそれは親しみ易い
事実8: もし仮に何らかの物は利息だとすると「かわゆくない」ということは真実である
事実9: その流通課業条件は捲る
事実10: もしもなにかはかわゆくないならばキャラメルソースである
事実11: 仮にこのジギタリスはキャラメルソースなら「この主病巣は親しみ易いかもしくはキャラメルソースでないかどちらもである」ということは誤っている
事実12: もし「「この主病巣は親しみ易いかまたはキャラメルソースでない」ということは真実だ」ということは真実でないならこの長寿社会は断り難くない

仮説: 「この長寿社会は扱い易いかあるいは被らすかもしくは両方ともである」ということは確かでない
1. 事実3と事実9から、推論1: "その流通課業条件は利息だ"が導かれる
2. 推論1と事実1から、推論2: "「このジギタリスは利息でない一方で掛け易い」ということは間違いである"が導かれる
3. 事実2から、推論3: "もし「このジギタリスは利息でないがそれは掛け易い」ということは成り立たないならばかわゆくない"が導かれる
4. 推論2と推論3から、推論4: "このジギタリスはかわゆくない"が導かれる
5. 事実10から、推論5: "仮に「このジギタリスはかわゆくない」ということは本当ならばキャラメルソースである"が導かれる
6. 推論4と推論5から、推論6: "このジギタリスはキャラメルソースだ"が導かれる
7. 推論6と事実11から、推論7: "「この主病巣は親しみ易いかもしくはそれはキャラメルソースであるということはないかもしくは両方ともだ」ということは間違いだ"が導かれる
8. 推論7と事実12から、推論8: "この長寿社会は断り難いということはない"が導かれる
9. 事実4から、推論9: "もしこの長寿社会が断り難くないならば扱い易い"が導かれる
10. 推論8と推論9から、推論10: "この長寿社会は扱い易い"が導かれる
11. 推論10から、仮説が否定される

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