仮に「この徳育は揮発し易い」ということは事実だとするとあの音仮名はオービタルだ
fact1: もしこの玻座間御嶽が心置き無いならこの徳育は如才無い fact2: 何らかのものは出し難い fact3: 「「如才無い」ということは事実な」ものはある fact4: もしもこの玻座間御嶽は奇異でないなら「それは出し難くて更に心置き無くない」ということは事実と異なる fact5: もしあるものは甚だしくないなら「それは揮発し易くてそれにオービタルでない」ということは成り立たない fact6: もし仮に「出し難い」ものがあるとするとこの玻座間御嶽は奇異だ fact7: 「奇異であるし揮発し易い」ものはある fact8: 「この玻座間御嶽は如才無い」ということは確かであるならばこの徳育は心置き無い fact9: 揮発し易い物はある fact10: もしも如才無いものが揮発し易いとするとあの音仮名はオービタルだ fact11: この玻座間御嶽は凝集だ fact12: もしもなにかは奇異でないならばそれは出し難いしまた粘り強い fact13: あの音仮名は揮発し易い fact14: この玻座間御嶽は揮発し易い fact15: あのＷＡが揮発し易くないとしたらこの徳育は奇異であるかもしくはそれは如才無いかあるいはどちらもである fact16: あるものは奇異であるしかつオービタルだ fact17: もし「なにがしかのものは揮発し易いけれどオービタルでない」ということは成り立たないとしたら揮発し易くない fact18: この回り道はオービタルである fact19: もしもなにかは出し難いとしたら「この玻座間御嶽は奇異であるしまた心置き無い」ということは確かである fact20: この玻座間御嶽は奇異である
fact2 & fact19 -> int1: この玻座間御嶽は奇異だしさらに心置き無い; int1 -> int2: この玻座間御嶽は心置き無い; int2 & fact1 -> int3: この徳育は如才無い; void -> assump1: 以下のように仮定する。この徳育は揮発し易い; int3 & assump1 -> int4: この徳育は如才無いししかもそれは揮発し易い; int4 -> int5: 何かは如才無くて揮発し易い; int5 & fact10 -> int6: あの音仮名はオービタルだ; [assump1] & int6 -> hypothesis;
あの音仮名は心置き無い
fact21 -> int7: もし仮に「あのＷＡは揮発し易いがオービタルでない」ということは誤っているとしたらそれは揮発し易くない; fact23 -> int8: もしあのＷＡは甚だしくないならば「それは揮発し易いけれどオービタルでない」ということは成り立つということはない;
$facts$ = fact1: もしこの玻座間御嶽が心置き無いならこの徳育は如才無い fact2: 何らかのものは出し難い fact3: 「「如才無い」ということは事実な」ものはある fact4: もしもこの玻座間御嶽は奇異でないなら「それは出し難くて更に心置き無くない」ということは事実と異なる fact5: もしあるものは甚だしくないなら「それは揮発し易くてそれにオービタルでない」ということは成り立たない fact6: もし仮に「出し難い」ものがあるとするとこの玻座間御嶽は奇異だ fact7: 「奇異であるし揮発し易い」ものはある fact8: 「この玻座間御嶽は如才無い」ということは確かであるならばこの徳育は心置き無い fact9: 揮発し易い物はある fact10: もしも如才無いものが揮発し易いとするとあの音仮名はオービタルだ fact11: この玻座間御嶽は凝集だ fact12: もしもなにかは奇異でないならばそれは出し難いしまた粘り強い fact13: あの音仮名は揮発し易い fact14: この玻座間御嶽は揮発し易い fact15: あのＷＡが揮発し易くないとしたらこの徳育は奇異であるかもしくはそれは如才無いかあるいはどちらもである fact16: あるものは奇異であるしかつオービタルだ fact17: もし「なにがしかのものは揮発し易いけれどオービタルでない」ということは成り立たないとしたら揮発し易くない fact18: この回り道はオービタルである fact19: もしもなにかは出し難いとしたら「この玻座間御嶽は奇異であるしまた心置き無い」ということは確かである fact20: この玻座間御嶽は奇異である ; $hypothesis$ = 仮に「この徳育は揮発し易い」ということは事実だとするとあの音仮名はオービタルだ ; $proof$ = 
fact2 & fact19 -> int1: この玻座間御嶽は奇異だしさらに心置き無い; int1 -> int2: この玻座間御嶽は心置き無い; int2 & fact1 -> int3: この徳育は如才無い; void -> assump1: 以下のように仮定する。この徳育は揮発し易い; int3 & assump1 -> int4: この徳育は如才無いししかもそれは揮発し易い; int4 -> int5: 何かは如才無くて揮発し易い; int5 & fact10 -> int6: あの音仮名はオービタルだ; [assump1] & int6 -> hypothesis; __PROVED__
事実1: もしこの玻座間御嶽が心置き無いならこの徳育は如才無い
事実2: 何らかのものは出し難い
事実3: 「「如才無い」ということは事実な」ものはある
事実4: もしもこの玻座間御嶽は奇異でないなら「それは出し難くて更に心置き無くない」ということは事実と異なる
事実5: もしあるものは甚だしくないなら「それは揮発し易くてそれにオービタルでない」ということは成り立たない
事実6: もし仮に「出し難い」ものがあるとするとこの玻座間御嶽は奇異だ
事実7: 「奇異であるし揮発し易い」ものはある
事実8: 「この玻座間御嶽は如才無い」ということは確かであるならばこの徳育は心置き無い
事実9: 揮発し易い物はある
事実10: もしも如才無いものが揮発し易いとするとあの音仮名はオービタルだ
事実11: この玻座間御嶽は凝集だ
事実12: もしもなにかは奇異でないならばそれは出し難いしまた粘り強い
事実13: あの音仮名は揮発し易い
事実14: この玻座間御嶽は揮発し易い
事実15: あのＷＡが揮発し易くないとしたらこの徳育は奇異であるかもしくはそれは如才無いかあるいはどちらもである
事実16: あるものは奇異であるしかつオービタルだ
事実17: もし「なにがしかのものは揮発し易いけれどオービタルでない」ということは成り立たないとしたら揮発し易くない
事実18: この回り道はオービタルである
事実19: もしもなにかは出し難いとしたら「この玻座間御嶽は奇異であるしまた心置き無い」ということは確かである
事実20: この玻座間御嶽は奇異である

仮説: 仮に「この徳育は揮発し易い」ということは事実だとするとあの音仮名はオービタルだ
1. 事実2と事実19から、推論1: "この玻座間御嶽は奇異だしさらに心置き無い"が導かれる
2. 推論1から、推論2: "この玻座間御嶽は心置き無い"が導かれる
3. 推論2と事実1から、推論3: "この徳育は如才無い"が導かれる
4. 仮定1: 以下のように仮定する。この徳育は揮発し易い
5. 推論3と仮定1から、推論4: "この徳育は如才無いししかもそれは揮発し易い"が導かれる
6. 推論4から、推論5: "何かは如才無くて揮発し易い"が導かれる
7. 推論5と事実10から、推論6: "あの音仮名はオービタルだ"が導かれる
8. [仮定1]と推論6から、仮説が導かれる

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