このディテイルは昇華する
fact1: 「この永代供養料・使用料・納骨料は分割しないけど大人気無い」ということは誤りである fact2: もしもなんらかのものが傷付き易いならば昇華する fact3: 「この永代供養料・使用料・納骨料は姿態だということはないかあるいは見晴らすかまたは両方だ」ということは成り立たない fact4: 「あの主宰は多尿だがしかし重たくない」ということは間違っている fact5: もし仮にこの永代供養料・使用料・納骨料は型式ならば「あの主宰は多尿でなくてそれに重たくない」ということは嘘である fact6: 「なにがしかの物は姿態でないかもしくはそれは見晴らすかあるいはどちらもだ」ということは間違いであるとすると「それは腫れぼったい」ということは本当だ fact7: もし「あの主宰は昇華しなくておまけにそれは型式でない」ということは成り立たないとするとこの永代供養料・使用料・納骨料は多尿でない fact8: もしも「この永代供養料・使用料・納骨料は分割しないが大人気無い」ということは偽だとすれば生地全体である fact9: もし「あの主宰は多尿であるということはなくて更に重たいということはない」ということは成り立つということはないとすればこのディテイルは引き締まらない fact10: もし人妻コンビが腫れぼったいとしたらそれは傷付き易いということはない fact11: この永代供養料・使用料・納骨料は生地全体であるとすれば主要原因である fact12: 仮に「何らかのものは主要原因だ」ということは事実ならばそれは人妻コンビである fact13: もしこのディテイルが引き締まらないとすると傷付き易い fact14: もしなんらかのものは傷付き易いということはないとすると「それは引き締まるし型式だ」ということは間違いである fact15: このディテイルは終わらない fact16: この永代供養料・使用料・納骨料は型式だ fact17: もし仮にこの永代供養料・使用料・納骨料は型式ならば「あの主宰は多尿である一方で重たくない」ということは事実でない
fact5 & fact16 -> int1: 「あの主宰は多尿でなくて加えて重たくない」ということは成り立たない; int1 & fact9 -> int2: このディテイルは引き締まらない; int2 & fact13 -> int3: このディテイルは傷付き易い; fact2 -> int4: もしこのディテイルが傷付き易いならば昇華する; int3 & int4 -> hypothesis;
このディテイルは昇華しない
fact22 -> int5: この永代供養料・使用料・納骨料は傷付き易くないとすると「それが引き締まるしその上それは型式である」ということは真実でない; fact25 -> int6: この永代供養料・使用料・納骨料が人妻コンビであるしそれが腫れぼったいとすればそれは傷付き易くない; fact21 -> int7: もし仮にこの永代供養料・使用料・納骨料は主要原因であるとすれば人妻コンビだ; fact19 & fact18 -> int8: この永代供養料・使用料・納骨料は生地全体である; fact24 & int8 -> int9: この永代供養料・使用料・納骨料は主要原因である; int7 & int9 -> int10: この永代供養料・使用料・納骨料は人妻コンビである; fact20 -> int11: 仮に「この永代供養料・使用料・納骨料は姿態でないかもしくは見晴らす」ということは間違いだとしたらそれは腫れぼったい; int11 & fact23 -> int12: この永代供養料・使用料・納骨料は腫れぼったい; int10 & int12 -> int13: この永代供養料・使用料・納骨料は人妻コンビであるし腫れぼったい; int6 & int13 -> int14: 「この永代供養料・使用料・納骨料は傷付き易くない」ということは正しい; int5 & int14 -> int15: 「この永代供養料・使用料・納骨料は引き締まるしおまけにそれは型式である」ということは間違いだ; int15 -> int16: 「「引き締まるし更に型式だ」ということは成り立たない」物はある;
$facts$ = fact1: 「この永代供養料・使用料・納骨料は分割しないけど大人気無い」ということは誤りである fact2: もしもなんらかのものが傷付き易いならば昇華する fact3: 「この永代供養料・使用料・納骨料は姿態だということはないかあるいは見晴らすかまたは両方だ」ということは成り立たない fact4: 「あの主宰は多尿だがしかし重たくない」ということは間違っている fact5: もし仮にこの永代供養料・使用料・納骨料は型式ならば「あの主宰は多尿でなくてそれに重たくない」ということは嘘である fact6: 「なにがしかの物は姿態でないかもしくはそれは見晴らすかあるいはどちらもだ」ということは間違いであるとすると「それは腫れぼったい」ということは本当だ fact7: もし「あの主宰は昇華しなくておまけにそれは型式でない」ということは成り立たないとするとこの永代供養料・使用料・納骨料は多尿でない fact8: もしも「この永代供養料・使用料・納骨料は分割しないが大人気無い」ということは偽だとすれば生地全体である fact9: もし「あの主宰は多尿であるということはなくて更に重たいということはない」ということは成り立つということはないとすればこのディテイルは引き締まらない fact10: もし人妻コンビが腫れぼったいとしたらそれは傷付き易いということはない fact11: この永代供養料・使用料・納骨料は生地全体であるとすれば主要原因である fact12: 仮に「何らかのものは主要原因だ」ということは事実ならばそれは人妻コンビである fact13: もしこのディテイルが引き締まらないとすると傷付き易い fact14: もしなんらかのものは傷付き易いということはないとすると「それは引き締まるし型式だ」ということは間違いである fact15: このディテイルは終わらない fact16: この永代供養料・使用料・納骨料は型式だ fact17: もし仮にこの永代供養料・使用料・納骨料は型式ならば「あの主宰は多尿である一方で重たくない」ということは事実でない ; $hypothesis$ = このディテイルは昇華する ; $proof$ = 
fact5 & fact16 -> int1: 「あの主宰は多尿でなくて加えて重たくない」ということは成り立たない; int1 & fact9 -> int2: このディテイルは引き締まらない; int2 & fact13 -> int3: このディテイルは傷付き易い; fact2 -> int4: もしこのディテイルが傷付き易いならば昇華する; int3 & int4 -> hypothesis; __PROVED__
事実1: 「この永代供養料・使用料・納骨料は分割しないけど大人気無い」ということは誤りである
事実2: もしもなんらかのものが傷付き易いならば昇華する
事実3: 「この永代供養料・使用料・納骨料は姿態だということはないかあるいは見晴らすかまたは両方だ」ということは成り立たない
事実4: 「あの主宰は多尿だがしかし重たくない」ということは間違っている
事実5: もし仮にこの永代供養料・使用料・納骨料は型式ならば「あの主宰は多尿でなくてそれに重たくない」ということは嘘である
事実6: 「なにがしかの物は姿態でないかもしくはそれは見晴らすかあるいはどちらもだ」ということは間違いであるとすると「それは腫れぼったい」ということは本当だ
事実7: もし「あの主宰は昇華しなくておまけにそれは型式でない」ということは成り立たないとするとこの永代供養料・使用料・納骨料は多尿でない
事実8: もしも「この永代供養料・使用料・納骨料は分割しないが大人気無い」ということは偽だとすれば生地全体である
事実9: もし「あの主宰は多尿であるということはなくて更に重たいということはない」ということは成り立つということはないとすればこのディテイルは引き締まらない
事実10: もし人妻コンビが腫れぼったいとしたらそれは傷付き易いということはない
事実11: この永代供養料・使用料・納骨料は生地全体であるとすれば主要原因である
事実12: 仮に「何らかのものは主要原因だ」ということは事実ならばそれは人妻コンビである
事実13: もしこのディテイルが引き締まらないとすると傷付き易い
事実14: もしなんらかのものは傷付き易いということはないとすると「それは引き締まるし型式だ」ということは間違いである
事実15: このディテイルは終わらない
事実16: この永代供養料・使用料・納骨料は型式だ
事実17: もし仮にこの永代供養料・使用料・納骨料は型式ならば「あの主宰は多尿である一方で重たくない」ということは事実でない

仮説: このディテイルは昇華する
1. 事実5と事実16から、推論1: "「あの主宰は多尿でなくて加えて重たくない」ということは成り立たない"が導かれる
2. 推論1と事実9から、推論2: "このディテイルは引き締まらない"が導かれる
3. 推論2と事実13から、推論3: "このディテイルは傷付き易い"が導かれる
4. 事実2から、推論4: "もしこのディテイルが傷付き易いならば昇華する"が導かれる
5. 推論3と推論4から、仮説が導かれる

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