あの財産は滑り難くない
fact1: 運用機関は人口増だということはないしさらに取り落とさない fact2: もし仮にある物が運用機関でなくて加えて判別しないならあの財産は滑り難いということはない fact3: 「滑り難くない」ものはある fact4: この貴金属は運用機関でなくてしかも判別しない fact5: もしも何らかのものが簡略化するということはないかあるいはそれが判別しないとすると判別しない fact6: もしも「その御癒しは記載自体だがしかし簡略化しない」ということは成り立たないならこのマス・コミュニケーションは簡略化しない fact7: もしこのマス・コミュニケーションが判別しないとするとあの財産は滑り難くてまた運用機関である fact8: あの財産は判別しない fact9: なにかは判別しないが滑り難い fact10: 何らかのものは理解し易くないがしかしそれはすばしこい fact11: 保ち易くない物はある
fact4 -> int1: 「なにかは運用機関でなくて加えてそれは判別しない」ということは真実だ; int1 & fact2 -> hypothesis;
fact4 -> int1: (Ex): (¬{A}x & ¬{B}x); int1 & fact2 -> hypothesis;
「あの財産は滑り難い」ということは確かである
fact14 -> int2: もしもこのマス・コミュニケーションが簡略化しないかまたは判別しないかもしくはどちらもであるならそれは判別しない;
$facts$ = fact1: 運用機関は人口増だということはないしさらに取り落とさない fact2: もし仮にある物が運用機関でなくて加えて判別しないならあの財産は滑り難いということはない fact3: 「滑り難くない」ものはある fact4: この貴金属は運用機関でなくてしかも判別しない fact5: もしも何らかのものが簡略化するということはないかあるいはそれが判別しないとすると判別しない fact6: もしも「その御癒しは記載自体だがしかし簡略化しない」ということは成り立たないならこのマス・コミュニケーションは簡略化しない fact7: もしこのマス・コミュニケーションが判別しないとするとあの財産は滑り難くてまた運用機関である fact8: あの財産は判別しない fact9: なにかは判別しないが滑り難い fact10: 何らかのものは理解し易くないがしかしそれはすばしこい fact11: 保ち易くない物はある ; $hypothesis$ = あの財産は滑り難くない ; $proof$ = 
fact4 -> int1: 「なにかは運用機関でなくて加えてそれは判別しない」ということは真実だ; int1 & fact2 -> hypothesis; __PROVED__
事実1: 運用機関は人口増だということはないしさらに取り落とさない
事実2: もし仮にある物が運用機関でなくて加えて判別しないならあの財産は滑り難いということはない
事実3: 「滑り難くない」ものはある
事実4: この貴金属は運用機関でなくてしかも判別しない
事実5: もしも何らかのものが簡略化するということはないかあるいはそれが判別しないとすると判別しない
事実6: もしも「その御癒しは記載自体だがしかし簡略化しない」ということは成り立たないならこのマス・コミュニケーションは簡略化しない
事実7: もしこのマス・コミュニケーションが判別しないとするとあの財産は滑り難くてまた運用機関である
事実8: あの財産は判別しない
事実9: なにかは判別しないが滑り難い
事実10: 何らかのものは理解し易くないがしかしそれはすばしこい
事実11: 保ち易くない物はある

仮説: あの財産は滑り難くない
1. 事実4から、推論1: "「なにかは運用機関でなくて加えてそれは判別しない」ということは真実だ"が導かれる
2. 推論1と事実2から、仮説が導かれる

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