この仏舎利は薄青い
fact1: もし掛かり難いものが同法制定だとすれば薄青くない fact2: 「この仏舎利は確りし為さるけど同法制定でない」ということは成り立つということはない fact3: 行政が間違い無いならひ弱くない fact4: この仏舎利は掛かり難いしおまけにサービス利用支援である fact5: もし仮に「この仏舎利は確りし為さるが同法制定でない」ということは事実でないなら同法制定である
fact4 -> int1: この仏舎利は掛かり難い; fact2 & fact5 -> int2: この仏舎利は同法制定である; int1 & int2 -> int3: この仏舎利は掛かり難いしまた同法制定だ; fact1 -> int4: もしこの仏舎利は掛かり難いし同法制定ならそれは薄青くない; int3 & int4 -> hypothesis;
$facts$ = fact1: もし掛かり難いものが同法制定だとすれば薄青くない fact2: 「この仏舎利は確りし為さるけど同法制定でない」ということは成り立つということはない fact3: 行政が間違い無いならひ弱くない fact4: この仏舎利は掛かり難いしおまけにサービス利用支援である fact5: もし仮に「この仏舎利は確りし為さるが同法制定でない」ということは事実でないなら同法制定である ; $hypothesis$ = この仏舎利は薄青い ; $proof$ = 
fact4 -> int1: この仏舎利は掛かり難い; fact2 & fact5 -> int2: この仏舎利は同法制定である; int1 & int2 -> int3: この仏舎利は掛かり難いしまた同法制定だ; fact1 -> int4: もしこの仏舎利は掛かり難いし同法制定ならそれは薄青くない; int3 & int4 -> hypothesis; __DISPROVED__
事実1: もし掛かり難いものが同法制定だとすれば薄青くない
事実2: 「この仏舎利は確りし為さるけど同法制定でない」ということは成り立つということはない
事実3: 行政が間違い無いならひ弱くない
事実4: この仏舎利は掛かり難いしおまけにサービス利用支援である
事実5: もし仮に「この仏舎利は確りし為さるが同法制定でない」ということは事実でないなら同法制定である

仮説: この仏舎利は薄青い
1. 事実4から、推論1: "この仏舎利は掛かり難い"が導かれる
2. 事実2と事実5から、推論2: "この仏舎利は同法制定である"が導かれる
3. 推論1と推論2から、推論3: "この仏舎利は掛かり難いしまた同法制定だ"が導かれる
4. 事実1から、推論4: "もしこの仏舎利は掛かり難いし同法制定ならそれは薄青くない"が導かれる
5. 推論3と推論4から、仮説が否定される

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