「この怪文書は移り難くない」ということは成り立つ
fact1: この怪文書は特定性だ fact2: この基本的事項は自嘲めく fact3: もし仮にこの基本的事項が特定性であるかまたは移り難いとするとこの朧月は自嘲めかない fact4: もし仮にこの基本的事項は自嘲めくとすれば「この訴訟問題は疑えるが長しない」ということは間違いだ fact5: 「この処世術は特定性である一方で移り難くない」ということは誤りである fact6: もし仮になんらかの物が聞き分けるなら根深いけどアサインしない fact7: この基本的事項はむかむかする fact8: 仮にこの訴訟問題が根深いけれどアサインするということはないとするとこの基本的事項は形容し難い fact9: この基本的事項は疑える fact10: 「この訴訟問題は疑える一方で長しない」ということは成り立たないとすると「この処世術は特定性である」ということは成り立つ fact11: この訴訟問題は聞き分けるし契約等である fact12: もしもなんらかのものが特定性でないとすればそれは自嘲めくしまたそれは移り難い fact13: もしこの訴訟問題が疑えないとするとこの処世術は特定性だ fact14: この訴訟問題が聞き分けないし契約等でないとすれば「それはアサインする」ということは事実である fact15: 仮にこの基本的事項が根深くないとすれば特定性であるしかつ形容し難い fact16: もしも「この処世術は特定性だ」ということは成り立つとすればこの怪文書は移り難くない
fact4 & fact2 -> int1: 「この訴訟問題は疑えるがしかし長しない」ということは成り立たない; int1 & fact10 -> int2: この処世術は特定性である; int2 & fact16 -> hypothesis;
「この怪文書は移り難い」ということは本当だ
fact17 -> int3: 仮にこの怪文書は特定性であるということはないとしたら「それは自嘲めくし移り難い」ということは間違っていない; fact18 -> int4: この訴訟問題が聞き分けるとしたらそれは根深いしアサインしない; fact19 -> int5: 「この訴訟問題は聞き分ける」ということは確かだ; int4 & int5 -> int6: この訴訟問題は根深いけどアサインしない; fact20 & int6 -> int7: この基本的事項は形容し難い; int7 -> int8: 「形容し難い」物はある;
$facts$ = fact1: この怪文書は特定性だ fact2: この基本的事項は自嘲めく fact3: もし仮にこの基本的事項が特定性であるかまたは移り難いとするとこの朧月は自嘲めかない fact4: もし仮にこの基本的事項は自嘲めくとすれば「この訴訟問題は疑えるが長しない」ということは間違いだ fact5: 「この処世術は特定性である一方で移り難くない」ということは誤りである fact6: もし仮になんらかの物が聞き分けるなら根深いけどアサインしない fact7: この基本的事項はむかむかする fact8: 仮にこの訴訟問題が根深いけれどアサインするということはないとするとこの基本的事項は形容し難い fact9: この基本的事項は疑える fact10: 「この訴訟問題は疑える一方で長しない」ということは成り立たないとすると「この処世術は特定性である」ということは成り立つ fact11: この訴訟問題は聞き分けるし契約等である fact12: もしもなんらかのものが特定性でないとすればそれは自嘲めくしまたそれは移り難い fact13: もしこの訴訟問題が疑えないとするとこの処世術は特定性だ fact14: この訴訟問題が聞き分けないし契約等でないとすれば「それはアサインする」ということは事実である fact15: 仮にこの基本的事項が根深くないとすれば特定性であるしかつ形容し難い fact16: もしも「この処世術は特定性だ」ということは成り立つとすればこの怪文書は移り難くない ; $hypothesis$ = 「この怪文書は移り難くない」ということは成り立つ ; $proof$ = 
fact4 & fact2 -> int1: 「この訴訟問題は疑えるがしかし長しない」ということは成り立たない; int1 & fact10 -> int2: この処世術は特定性である; int2 & fact16 -> hypothesis; __PROVED__
事実1: この怪文書は特定性だ
事実2: この基本的事項は自嘲めく
事実3: もし仮にこの基本的事項が特定性であるかまたは移り難いとするとこの朧月は自嘲めかない
事実4: もし仮にこの基本的事項は自嘲めくとすれば「この訴訟問題は疑えるが長しない」ということは間違いだ
事実5: 「この処世術は特定性である一方で移り難くない」ということは誤りである
事実6: もし仮になんらかの物が聞き分けるなら根深いけどアサインしない
事実7: この基本的事項はむかむかする
事実8: 仮にこの訴訟問題が根深いけれどアサインするということはないとするとこの基本的事項は形容し難い
事実9: この基本的事項は疑える
事実10: 「この訴訟問題は疑える一方で長しない」ということは成り立たないとすると「この処世術は特定性である」ということは成り立つ
事実11: この訴訟問題は聞き分けるし契約等である
事実12: もしもなんらかのものが特定性でないとすればそれは自嘲めくしまたそれは移り難い
事実13: もしこの訴訟問題が疑えないとするとこの処世術は特定性だ
事実14: この訴訟問題が聞き分けないし契約等でないとすれば「それはアサインする」ということは事実である
事実15: 仮にこの基本的事項が根深くないとすれば特定性であるしかつ形容し難い
事実16: もしも「この処世術は特定性だ」ということは成り立つとすればこの怪文書は移り難くない

仮説: 「この怪文書は移り難くない」ということは成り立つ
1. 事実4と事実2から、推論1: "「この訴訟問題は疑えるがしかし長しない」ということは成り立たない"が導かれる
2. 推論1と事実10から、推論2: "この処世術は特定性である"が導かれる
3. 推論2と事実16から、仮説が導かれる

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