その短期間は利用され易い
fact1: 仮にこの通常訴訟がうら若いとしたらこの反戦歌は理容師さんである fact2: この反戦歌は増しであるし更に理容師さんだとすればそれは貸し与えない fact3: 「なにかは貸し与えなくてそれに分かり辛くない」ということは嘘ならうら若い fact4: 「この通常訴訟は貸し与えないが空間定位である」ということは事実と異なる fact5: もし仮に増しが咲くとすれば利用され易いということはない fact6: もしも「この通常訴訟は分かり辛い」ということは誤りでないとしたら「その短期間はうら若い」ということは成り立たない fact7: 「あの中国軍は貸し与えない」ということは成り立つとすると「この通常訴訟は貸し与えないし更にそれは分かり辛くない」ということは間違っている fact8: もしもこの反戦歌が理容師さんであるとすればその短期間は増しだ fact9: その短期間ははしたなくない fact10: この通常訴訟ははしたない fact11: 仮にこの通常訴訟が再投資であるしＣＤ‐Ｒだとしたらその歴史博物館は再投資でない fact12: 仮に「その歴史博物館はＣＤ‐Ｒだ」ということは成り立つとするとあの中国軍は貸し与えない fact13: もしその歴史博物館が再投資だとするとあの中国軍は貸し与えない fact14: その歴史博物館は再投資であるかあるいはＣＤ‐Ｒだ fact15: その短期間は理容師さんだ fact16: もしもその短期間がはしたないということはないなら空間定位でないけれど咲く
fact14 & fact13 & fact12 -> int1: あの中国軍は貸し与えない; int1 & fact7 -> int2: 「この通常訴訟は貸し与えないしまた分かり辛くない」ということは偽だ; fact3 -> int3: 「この通常訴訟は貸し与えなくてその上それは分かり辛くない」ということは成り立つということはないとすればうら若い; int2 & int3 -> int4: この通常訴訟はうら若い; int4 & fact1 -> int5: この反戦歌は理容師さんだ; int5 & fact8 -> int6: その短期間は増しだ; fact16 & fact9 -> int7: その短期間は空間定位であるということはないけれどそれは咲く; int7 -> int8: その短期間は咲く; int6 & int8 -> int9: その短期間は増しであるしまた咲く; fact5 -> int10: もしもその短期間が増しで咲くとすればそれは利用され易くない; int9 & int10 -> hypothesis;
その短期間は利用され易い
$facts$ = fact1: 仮にこの通常訴訟がうら若いとしたらこの反戦歌は理容師さんである fact2: この反戦歌は増しであるし更に理容師さんだとすればそれは貸し与えない fact3: 「なにかは貸し与えなくてそれに分かり辛くない」ということは嘘ならうら若い fact4: 「この通常訴訟は貸し与えないが空間定位である」ということは事実と異なる fact5: もし仮に増しが咲くとすれば利用され易いということはない fact6: もしも「この通常訴訟は分かり辛い」ということは誤りでないとしたら「その短期間はうら若い」ということは成り立たない fact7: 「あの中国軍は貸し与えない」ということは成り立つとすると「この通常訴訟は貸し与えないし更にそれは分かり辛くない」ということは間違っている fact8: もしもこの反戦歌が理容師さんであるとすればその短期間は増しだ fact9: その短期間ははしたなくない fact10: この通常訴訟ははしたない fact11: 仮にこの通常訴訟が再投資であるしＣＤ‐Ｒだとしたらその歴史博物館は再投資でない fact12: 仮に「その歴史博物館はＣＤ‐Ｒだ」ということは成り立つとするとあの中国軍は貸し与えない fact13: もしその歴史博物館が再投資だとするとあの中国軍は貸し与えない fact14: その歴史博物館は再投資であるかあるいはＣＤ‐Ｒだ fact15: その短期間は理容師さんだ fact16: もしもその短期間がはしたないということはないなら空間定位でないけれど咲く ; $hypothesis$ = その短期間は利用され易い ; $proof$ = 
fact14 & fact13 & fact12 -> int1: あの中国軍は貸し与えない; int1 & fact7 -> int2: 「この通常訴訟は貸し与えないしまた分かり辛くない」ということは偽だ; fact3 -> int3: 「この通常訴訟は貸し与えなくてその上それは分かり辛くない」ということは成り立つということはないとすればうら若い; int2 & int3 -> int4: この通常訴訟はうら若い; int4 & fact1 -> int5: この反戦歌は理容師さんだ; int5 & fact8 -> int6: その短期間は増しだ; fact16 & fact9 -> int7: その短期間は空間定位であるということはないけれどそれは咲く; int7 -> int8: その短期間は咲く; int6 & int8 -> int9: その短期間は増しであるしまた咲く; fact5 -> int10: もしもその短期間が増しで咲くとすればそれは利用され易くない; int9 & int10 -> hypothesis; __DISPROVED__
事実1: 仮にこの通常訴訟がうら若いとしたらこの反戦歌は理容師さんである
事実2: この反戦歌は増しであるし更に理容師さんだとすればそれは貸し与えない
事実3: 「なにかは貸し与えなくてそれに分かり辛くない」ということは嘘ならうら若い
事実4: 「この通常訴訟は貸し与えないが空間定位である」ということは事実と異なる
事実5: もし仮に増しが咲くとすれば利用され易いということはない
事実6: もしも「この通常訴訟は分かり辛い」ということは誤りでないとしたら「その短期間はうら若い」ということは成り立たない
事実7: 「あの中国軍は貸し与えない」ということは成り立つとすると「この通常訴訟は貸し与えないし更にそれは分かり辛くない」ということは間違っている
事実8: もしもこの反戦歌が理容師さんであるとすればその短期間は増しだ
事実9: その短期間ははしたなくない
事実10: この通常訴訟ははしたない
事実11: 仮にこの通常訴訟が再投資であるしＣＤ‐Ｒだとしたらその歴史博物館は再投資でない
事実12: 仮に「その歴史博物館はＣＤ‐Ｒだ」ということは成り立つとするとあの中国軍は貸し与えない
事実13: もしその歴史博物館が再投資だとするとあの中国軍は貸し与えない
事実14: その歴史博物館は再投資であるかあるいはＣＤ‐Ｒだ
事実15: その短期間は理容師さんだ
事実16: もしもその短期間がはしたないということはないなら空間定位でないけれど咲く

仮説: その短期間は利用され易い
1. 事実14と事実13と事実12から、推論1: "あの中国軍は貸し与えない"が導かれる
2. 推論1と事実7から、推論2: "「この通常訴訟は貸し与えないしまた分かり辛くない」ということは偽だ"が導かれる
3. 事実3から、推論3: "「この通常訴訟は貸し与えなくてその上それは分かり辛くない」ということは成り立つということはないとすればうら若い"が導かれる
4. 推論2と推論3から、推論4: "この通常訴訟はうら若い"が導かれる
5. 推論4と事実1から、推論5: "この反戦歌は理容師さんだ"が導かれる
6. 推論5と事実8から、推論6: "その短期間は増しだ"が導かれる
7. 事実16と事実9から、推論7: "その短期間は空間定位であるということはないけれどそれは咲く"が導かれる
8. 推論7から、推論8: "その短期間は咲く"が導かれる
9. 推論6と推論8から、推論9: "その短期間は増しであるしまた咲く"が導かれる
10. 事実5から、推論10: "もしもその短期間が増しで咲くとすればそれは利用され易くない"が導かれる
11. 推論9と推論10から、仮説が否定される

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