この藍藻類は戴冠する
fact1: もし仮にこの藍藻類が戴冠すればそれは願望しない fact2: あの皮膚真菌症が軽過ぎればそれは願望しないが戴冠する fact3: 何らかのものは重点であるならば「それは作業し易くて封印しない」ということは成り立たない fact4: もしもそのスパルタ滓はレーキでないとしたら「それは児童育成事業だけれど重点でない」ということは間違っている fact5: もし「「あの注射は合わせ易いけど夥しくない」ということは成り立つ」ということは事実と異なればこの千九百六十年代末は夥しくない fact6: もし仮にこの千九百六十年代末は夥しくないならば「この地域密着型介護サービス費は養えるかそれは混住しない」ということは成り立たない fact7: 「この藍藻類は戴冠するということはない」ということは確かだとすると「その受益は宜しくないししかも手強くない」ということは事実でない fact8: 「そのスパルタ滓は児童育成事業であるがしかし重点だということはない」ということは成り立たないとするとそれは重点である fact9: 仮に何らかの物が干上がらないとしたらそれは取り落とすししかもそれは自堕落である fact10: もしあるものが蹴上げないならばそれは干上がるということはなくてそれにそれは晒され易い fact11: この藍藻類は合わせ易いかもしくはそれは戴冠しないかまたは両方ともだ fact12: この千九百六十年代末は軽過ぎる fact13: 「この藍藻類は戴冠しないけれど手強い」ということは偽だ fact14: 仮に「その受益は混住しないがしかし軽過ぎる」ということは本当でないとしたらこの地域密着型介護サービス費は養えない fact15: 仮にこの地域密着型介護サービス費が養えないならばこの千九百六十年代末は取り落とすかまたは夥しくないかもしくは両方ともである fact16: もし仮にとある物は願望しないならば「混住しなくて軽過ぎる」ということは間違いである fact17: この千九百六十年代末は合わせ易い fact18: 仮にこの千九百六十年代末は合わせ易いとすると「それは取り落とすか夥しくない」ということは誤りである fact19: 仮に「「その受益は宜しくないしそれに手強いということはない」ということは事実と異なる」ということは成り立つとしたらそれは願望するということはない fact20: 何らかの物は取り落とすなら「それは合わせ易くておまけにそれは夥しくない」ということは成り立たない fact21: 乾き易い物は酸いかもしくはし易いということはない fact22: 「そのスパルタ滓は作業し易いがしかしそれは封印しない」ということは偽ならばあの注射は乾き易い fact23: もしこの千九百六十年代末が宜しいならその受益は混住しない fact24: もしその受益は軽過ぎない一方で願望するとすれば「この藍藻類は戴冠しない」ということは本当である fact25: もし「この地域密着型介護サービス費は養えるかそれは混住しない」ということは成り立たないとするとその受益は混住するということはない fact26: 酸いかあるいはし易くないか両方ともである物は蹴上げるということはない fact27: 何らかの物は願望しないが戴冠するとしたらそれは取り落とさない
void -> assump1: 以下のように仮定する。この藍藻類は戴冠するということはない; fact7 & assump1 -> int1: 「その受益は宜しいということはないしおまけに手強くない」ということは事実と異なる; int1 & fact19 -> int2: その受益は願望しない; fact16 -> int3: その受益は願望するということはないとしたら「それは混住しない一方で軽過ぎる」ということは事実と異なる; int2 & int3 -> int4: 「その受益は混住しないけど軽過ぎる」ということは成り立たない; int4 & fact14 -> int5: この地域密着型介護サービス費は養えない; int5 & fact15 -> int6: この千九百六十年代末は取り落とすかもしくは夥しいということはない; fact18 & fact17 -> int7: 「この千九百六十年代末は取り落とすかもしくは夥しくないかまたは両方だ」ということは成り立つということはない; int6 & int7 -> int8: これは矛盾である; [assump1] & int8 -> hypothesis;
「あの皮膚真菌症は取り落とすということはない」ということは真実である
fact28 -> int9: もし仮にあの皮膚真菌症は願望しないけど戴冠するとすれば取り落とさない;
$facts$ = fact1: もし仮にこの藍藻類が戴冠すればそれは願望しない fact2: あの皮膚真菌症が軽過ぎればそれは願望しないが戴冠する fact3: 何らかのものは重点であるならば「それは作業し易くて封印しない」ということは成り立たない fact4: もしもそのスパルタ滓はレーキでないとしたら「それは児童育成事業だけれど重点でない」ということは間違っている fact5: もし「「あの注射は合わせ易いけど夥しくない」ということは成り立つ」ということは事実と異なればこの千九百六十年代末は夥しくない fact6: もし仮にこの千九百六十年代末は夥しくないならば「この地域密着型介護サービス費は養えるかそれは混住しない」ということは成り立たない fact7: 「この藍藻類は戴冠するということはない」ということは確かだとすると「その受益は宜しくないししかも手強くない」ということは事実でない fact8: 「そのスパルタ滓は児童育成事業であるがしかし重点だということはない」ということは成り立たないとするとそれは重点である fact9: 仮に何らかの物が干上がらないとしたらそれは取り落とすししかもそれは自堕落である fact10: もしあるものが蹴上げないならばそれは干上がるということはなくてそれにそれは晒され易い fact11: この藍藻類は合わせ易いかもしくはそれは戴冠しないかまたは両方ともだ fact12: この千九百六十年代末は軽過ぎる fact13: 「この藍藻類は戴冠しないけれど手強い」ということは偽だ fact14: 仮に「その受益は混住しないがしかし軽過ぎる」ということは本当でないとしたらこの地域密着型介護サービス費は養えない fact15: 仮にこの地域密着型介護サービス費が養えないならばこの千九百六十年代末は取り落とすかまたは夥しくないかもしくは両方ともである fact16: もし仮にとある物は願望しないならば「混住しなくて軽過ぎる」ということは間違いである fact17: この千九百六十年代末は合わせ易い fact18: 仮にこの千九百六十年代末は合わせ易いとすると「それは取り落とすか夥しくない」ということは誤りである fact19: 仮に「「その受益は宜しくないしそれに手強いということはない」ということは事実と異なる」ということは成り立つとしたらそれは願望するということはない fact20: 何らかの物は取り落とすなら「それは合わせ易くておまけにそれは夥しくない」ということは成り立たない fact21: 乾き易い物は酸いかもしくはし易いということはない fact22: 「そのスパルタ滓は作業し易いがしかしそれは封印しない」ということは偽ならばあの注射は乾き易い fact23: もしこの千九百六十年代末が宜しいならその受益は混住しない fact24: もしその受益は軽過ぎない一方で願望するとすれば「この藍藻類は戴冠しない」ということは本当である fact25: もし「この地域密着型介護サービス費は養えるかそれは混住しない」ということは成り立たないとするとその受益は混住するということはない fact26: 酸いかあるいはし易くないか両方ともである物は蹴上げるということはない fact27: 何らかの物は願望しないが戴冠するとしたらそれは取り落とさない ; $hypothesis$ = この藍藻類は戴冠する ; $proof$ = 
void -> assump1: 以下のように仮定する。この藍藻類は戴冠するということはない; fact7 & assump1 -> int1: 「その受益は宜しいということはないしおまけに手強くない」ということは事実と異なる; int1 & fact19 -> int2: その受益は願望しない; fact16 -> int3: その受益は願望するということはないとしたら「それは混住しない一方で軽過ぎる」ということは事実と異なる; int2 & int3 -> int4: 「その受益は混住しないけど軽過ぎる」ということは成り立たない; int4 & fact14 -> int5: この地域密着型介護サービス費は養えない; int5 & fact15 -> int6: この千九百六十年代末は取り落とすかもしくは夥しいということはない; fact18 & fact17 -> int7: 「この千九百六十年代末は取り落とすかもしくは夥しくないかまたは両方だ」ということは成り立つということはない; int6 & int7 -> int8: これは矛盾である; [assump1] & int8 -> hypothesis; __PROVED__
事実1: もし仮にこの藍藻類が戴冠すればそれは願望しない
事実2: あの皮膚真菌症が軽過ぎればそれは願望しないが戴冠する
事実3: 何らかのものは重点であるならば「それは作業し易くて封印しない」ということは成り立たない
事実4: もしもそのスパルタ滓はレーキでないとしたら「それは児童育成事業だけれど重点でない」ということは間違っている
事実5: もし「「あの注射は合わせ易いけど夥しくない」ということは成り立つ」ということは事実と異なればこの千九百六十年代末は夥しくない
事実6: もし仮にこの千九百六十年代末は夥しくないならば「この地域密着型介護サービス費は養えるかそれは混住しない」ということは成り立たない
事実7: 「この藍藻類は戴冠するということはない」ということは確かだとすると「その受益は宜しくないししかも手強くない」ということは事実でない
事実8: 「そのスパルタ滓は児童育成事業であるがしかし重点だということはない」ということは成り立たないとするとそれは重点である
事実9: 仮に何らかの物が干上がらないとしたらそれは取り落とすししかもそれは自堕落である
事実10: もしあるものが蹴上げないならばそれは干上がるということはなくてそれにそれは晒され易い
事実11: この藍藻類は合わせ易いかもしくはそれは戴冠しないかまたは両方ともだ
事実12: この千九百六十年代末は軽過ぎる
事実13: 「この藍藻類は戴冠しないけれど手強い」ということは偽だ
事実14: 仮に「その受益は混住しないがしかし軽過ぎる」ということは本当でないとしたらこの地域密着型介護サービス費は養えない
事実15: 仮にこの地域密着型介護サービス費が養えないならばこの千九百六十年代末は取り落とすかまたは夥しくないかもしくは両方ともである
事実16: もし仮にとある物は願望しないならば「混住しなくて軽過ぎる」ということは間違いである
事実17: この千九百六十年代末は合わせ易い
事実18: 仮にこの千九百六十年代末は合わせ易いとすると「それは取り落とすか夥しくない」ということは誤りである
事実19: 仮に「「その受益は宜しくないしそれに手強いということはない」ということは事実と異なる」ということは成り立つとしたらそれは願望するということはない
事実20: 何らかの物は取り落とすなら「それは合わせ易くておまけにそれは夥しくない」ということは成り立たない
事実21: 乾き易い物は酸いかもしくはし易いということはない
事実22: 「そのスパルタ滓は作業し易いがしかしそれは封印しない」ということは偽ならばあの注射は乾き易い
事実23: もしこの千九百六十年代末が宜しいならその受益は混住しない
事実24: もしその受益は軽過ぎない一方で願望するとすれば「この藍藻類は戴冠しない」ということは本当である
事実25: もし「この地域密着型介護サービス費は養えるかそれは混住しない」ということは成り立たないとするとその受益は混住するということはない
事実26: 酸いかあるいはし易くないか両方ともである物は蹴上げるということはない
事実27: 何らかの物は願望しないが戴冠するとしたらそれは取り落とさない

仮説: この藍藻類は戴冠する
1. 仮定1: 以下のように仮定する。この藍藻類は戴冠するということはない
2. 事実7と仮定1から、推論1: "「その受益は宜しいということはないしおまけに手強くない」ということは事実と異なる"が導かれる
3. 推論1と事実19から、推論2: "その受益は願望しない"が導かれる
4. 事実16から、推論3: "その受益は願望するということはないとしたら「それは混住しない一方で軽過ぎる」ということは事実と異なる"が導かれる
5. 推論2と推論3から、推論4: "「その受益は混住しないけど軽過ぎる」ということは成り立たない"が導かれる
6. 推論4と事実14から、推論5: "この地域密着型介護サービス費は養えない"が導かれる
7. 推論5と事実15から、推論6: "この千九百六十年代末は取り落とすかもしくは夥しいということはない"が導かれる
8. 事実18と事実17から、推論7: "「この千九百六十年代末は取り落とすかもしくは夥しくないかまたは両方だ」ということは成り立つということはない"が導かれる
9. 推論6と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、仮説が導かれる

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