その有体物は意思決定するけれど本プロジェクトでない
fact1: 「仮にあのデリミタは減量出来ないとすれば「このウインドーズＸＰは幸福感であるししかも間違い無い」ということは成り立つということはない」ということは確かである fact2: 仮にこの摂政職が断り難いならばそれは間違い無い fact3: どれもこれもは幸福感だ fact4: もしもこの摂政職は幸福感であるとすれば間違い無い fact5: その有体物は意思決定する fact6: もし仮に「この摂政職は間違い無い」ということは確かであるとしたら減量出来る fact7: その卵胞は本プロジェクトである fact8: このスコットランド人は断り難くない fact9: もし仮に何らかの物が持て成すとするとそれは断り難い fact10: 「この摂政職は意思決定する」ということは間違いでない fact11: もしもその有体物が断り難くない一方でそれが持て成すとするとそれは減量出来ない fact12: もしもその有体物が減量出来るとするとそれは断り難いししかも意思決定しない fact13: その有体物はシンフォニーホールだけれど使い易くない fact14: もしその有体物が断り難いとすると意思決定する fact15: もしもこのスコットランド人は断り難くないならば「持て成すし加えて減量出来る」ということは誤りだ fact16: その有体物が断り難いならば間違い無い fact17: もしもその有体物が断り難いとすると意思決定するし加えてそれは本プロジェクトでない fact18: 仮に「この摂政職は減量出来る」ということは確かだとすると「その有体物は持て成す」ということは成り立つ
fact3 -> int1: この摂政職は幸福感だ; int1 & fact4 -> int2: この摂政職は間違い無い; int2 & fact6 -> int3: この摂政職は減量出来る; int3 & fact18 -> int4: その有体物は持て成す; fact9 -> int5: 仮にその有体物が持て成すとするとそれは断り難い; int4 & int5 -> int6: その有体物は断り難い; int6 & fact17 -> hypothesis;
「「その有体物は意思決定する一方でそれは本プロジェクトであるということはない」ということは成り立つ」ということは偽である
$facts$ = fact1: 「仮にあのデリミタは減量出来ないとすれば「このウインドーズＸＰは幸福感であるししかも間違い無い」ということは成り立つということはない」ということは確かである fact2: 仮にこの摂政職が断り難いならばそれは間違い無い fact3: どれもこれもは幸福感だ fact4: もしもこの摂政職は幸福感であるとすれば間違い無い fact5: その有体物は意思決定する fact6: もし仮に「この摂政職は間違い無い」ということは確かであるとしたら減量出来る fact7: その卵胞は本プロジェクトである fact8: このスコットランド人は断り難くない fact9: もし仮に何らかの物が持て成すとするとそれは断り難い fact10: 「この摂政職は意思決定する」ということは間違いでない fact11: もしもその有体物が断り難くない一方でそれが持て成すとするとそれは減量出来ない fact12: もしもその有体物が減量出来るとするとそれは断り難いししかも意思決定しない fact13: その有体物はシンフォニーホールだけれど使い易くない fact14: もしその有体物が断り難いとすると意思決定する fact15: もしもこのスコットランド人は断り難くないならば「持て成すし加えて減量出来る」ということは誤りだ fact16: その有体物が断り難いならば間違い無い fact17: もしもその有体物が断り難いとすると意思決定するし加えてそれは本プロジェクトでない fact18: 仮に「この摂政職は減量出来る」ということは確かだとすると「その有体物は持て成す」ということは成り立つ ; $hypothesis$ = その有体物は意思決定するけれど本プロジェクトでない ; $proof$ = 
fact3 -> int1: この摂政職は幸福感だ; int1 & fact4 -> int2: この摂政職は間違い無い; int2 & fact6 -> int3: この摂政職は減量出来る; int3 & fact18 -> int4: その有体物は持て成す; fact9 -> int5: 仮にその有体物が持て成すとするとそれは断り難い; int4 & int5 -> int6: その有体物は断り難い; int6 & fact17 -> hypothesis; __PROVED__
事実1: 「仮にあのデリミタは減量出来ないとすれば「このウインドーズＸＰは幸福感であるししかも間違い無い」ということは成り立つということはない」ということは確かである
事実2: 仮にこの摂政職が断り難いならばそれは間違い無い
事実3: どれもこれもは幸福感だ
事実4: もしもこの摂政職は幸福感であるとすれば間違い無い
事実5: その有体物は意思決定する
事実6: もし仮に「この摂政職は間違い無い」ということは確かであるとしたら減量出来る
事実7: その卵胞は本プロジェクトである
事実8: このスコットランド人は断り難くない
事実9: もし仮に何らかの物が持て成すとするとそれは断り難い
事実10: 「この摂政職は意思決定する」ということは間違いでない
事実11: もしもその有体物が断り難くない一方でそれが持て成すとするとそれは減量出来ない
事実12: もしもその有体物が減量出来るとするとそれは断り難いししかも意思決定しない
事実13: その有体物はシンフォニーホールだけれど使い易くない
事実14: もしその有体物が断り難いとすると意思決定する
事実15: もしもこのスコットランド人は断り難くないならば「持て成すし加えて減量出来る」ということは誤りだ
事実16: その有体物が断り難いならば間違い無い
事実17: もしもその有体物が断り難いとすると意思決定するし加えてそれは本プロジェクトでない
事実18: 仮に「この摂政職は減量出来る」ということは確かだとすると「その有体物は持て成す」ということは成り立つ

仮説: その有体物は意思決定するけれど本プロジェクトでない
1. 事実3から、推論1: "この摂政職は幸福感だ"が導かれる
2. 推論1と事実4から、推論2: "この摂政職は間違い無い"が導かれる
3. 推論2と事実6から、推論3: "この摂政職は減量出来る"が導かれる
4. 推論3と事実18から、推論4: "その有体物は持て成す"が導かれる
5. 事実9から、推論5: "仮にその有体物が持て成すとするとそれは断り難い"が導かれる
6. 推論4と推論5から、推論6: "その有体物は断り難い"が導かれる
7. 推論6と事実17から、仮説が導かれる

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