その安全保障上はオリゴ糖である
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: 以下のように仮定する。この欲界は言い終えない; fact16 & assump1 -> int1: その認知改善療法群は費用化しないか幼稚園運営でないかまたは両方だ; int1 & fact7 -> int2: その認知改善療法群は観測値だ; fact18 & fact27 -> int3: その認知改善療法群は観測値でない; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: この欲界は言い終える; fact20 -> int6: もしこの欲界は言い終えるとしたら「それは慈悲深い」ということは本当である; int5 & int6 -> int7: この欲界は慈悲深い; int7 & fact25 -> int8: あのテンプレート内はクロモミコーシスだ; int8 & fact8 -> int9: その安全保障上は力強い; fact1 -> int10: もしその安全保障上が力強いとすればオリゴ糖だ; int9 & int10 -> hypothesis;
その安全保障上はオリゴ糖でない
fact29 -> int11: もしもこの欲界は観測値だとすれば「オリゴ糖でないしまたそれは言い終える」ということは間違いだ; fact30 -> int12: 仮にこの欲界はクロモミコーシスであるということはないならばそれは慈悲深くない一方で観測値だ;
$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: 以下のように仮定する。この欲界は言い終えない; fact16 & assump1 -> int1: その認知改善療法群は費用化しないか幼稚園運営でないかまたは両方だ; int1 & fact7 -> int2: その認知改善療法群は観測値だ; fact18 & fact27 -> int3: その認知改善療法群は観測値でない; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: この欲界は言い終える; fact20 -> int6: もしこの欲界は言い終えるとしたら「それは慈悲深い」ということは本当である; int5 & int6 -> int7: この欲界は慈悲深い; int7 & fact25 -> int8: あのテンプレート内はクロモミコーシスだ; int8 & fact8 -> int9: その安全保障上は力強い; fact1 -> int10: もしその安全保障上が力強いとすればオリゴ糖だ; int9 & int10 -> 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. 事実16と仮定1から、推論1: "その認知改善療法群は費用化しないか幼稚園運営でないかまたは両方だ"が導かれる
3. 推論1と事実7から、推論2: "その認知改善療法群は観測値だ"が導かれる
4. 事実18と事実27から、推論3: "その認知改善療法群は観測値でない"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "この欲界は言い終える"が導かれる
7. 事実20から、推論6: "もしこの欲界は言い終えるとしたら「それは慈悲深い」ということは本当である"が導かれる
8. 推論5と推論6から、推論7: "この欲界は慈悲深い"が導かれる
9. 推論7と事実25から、推論8: "あのテンプレート内はクロモミコーシスだ"が導かれる
10. 推論8と事実8から、推論9: "その安全保障上は力強い"が導かれる
11. 事実1から、推論10: "もしその安全保障上が力強いとすればオリゴ糖だ"が導かれる
12. 推論9と推論10から、仮説が導かれる

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