この当該申請書はダイアモンドでない
fact1: もし「このＥＯＳは然しない」ということは真実であるとすれば施錠するしかつそれは頼り無いということはない fact2: もしその中小都市が世界化するがしかし有資格でないならば粗い fact3: 何らかのものは変え難い fact4: もしその中小都市が変え難いがインターネット・ビレッジ・センターでないとすればその裸線は小難しくない fact5: その中小都市が粗いとするとそれは然するということはないかもしくは小難しくないかもしくはどちらもだ fact6: 何らかの物が施錠するということはないならばインターネット・ビレッジ・センターだし頼り無い fact7: その慈善事業は小汚い一方で成し難くない fact8: 仮になんらかのものが縮み上がれば撮み出さないがしかし御恥ずかしい fact9: もしもとあるものが然しないかあるいは小難しくないとしたらこのＥＯＳは小難しくない fact10: 「このＥＯＳは衰退するがそれは尽力すらない」ということは成り立たないとすればそれは然するということはない fact11: 仮にインターネット・ビレッジ・センターが小難しくないとしたら変え難い fact12: この当該申請書は衰退しない fact13: このＥＯＳは表象的思考でないけど買い取る fact14: 「その中小都市は変え難いけれど衰退しない」ということは確かでない fact15: その裸線は小難しい fact16: 仮にこのＥＯＳが表象的思考でなくてそれが生起し得るということはないとすればそれは施錠しない fact17: 変え難い物は尽力す fact18: 仮にこのＥＯＳが然する一方で小難しくないとすればその裸線はインターネット・ビレッジ・センターでない fact19: その中小都市は世界化するけれどそれは有資格でない fact20: 「施錠するし頼り無くない」物があるとすればあの当該申請書はダイアモンドでない fact21: もしもこのＥＯＳが尽力すらないとするとその中小都市は変え難いがそれはインターネット・ビレッジ・センターでない fact22: もしもその裸線が撮み出すということはないが御恥ずかしいならばあのＥＯＳは生起し得ない
void -> assump1: 以下のように仮定する。このＥＯＳは衰退する一方で尽力すらない; assump1 -> int1: このＥＯＳは尽力すらない; int1 & fact21 -> int2: その中小都市は変え難いがそれはインターネット・ビレッジ・センターでない; int2 & fact4 -> int3: その裸線は小難しくない; int3 & fact15 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「このＥＯＳは衰退するけど尽力すらない」ということは間違いだ; int5 & fact10 -> int6: このＥＯＳは然しない; int6 & fact1 -> int7: このＥＯＳは施錠するがしかしそれは頼り無くない; int7 -> int8: 「施錠するし加えて頼り無いということはない」ものはある; int8 & fact20 -> hypothesis;
この当該申請書はダイアモンドだ
fact29 -> int9: このＥＯＳは変え難いとすれば「尽力す」ということは成り立つ; fact33 -> int10: もし仮に「このＥＯＳはインターネット・ビレッジ・センターだがしかし小難しくない」ということは真実ならば変え難い; fact26 -> int11: このＥＯＳが施錠しないとするとそれはインターネット・ビレッジ・センターだしその上頼り無い; fact28 -> int12: このＥＯＳは表象的思考でない; fact31 -> int13: 仮にその裸線が縮み上がれば撮み出すということはないししかもそれは御恥ずかしい; fact23 & fact24 -> int14: その中小都市は粗い; fact27 & int14 -> int15: その中小都市は然しないか小難しくないかまたはどちらもだ; int15 -> int16: 「然しないかあるいは小難しくないかまたは両方である」物はある; int16 & fact30 -> int17: このＥＯＳは小難しいということはない;
$facts$ = fact1: もし「このＥＯＳは然しない」ということは真実であるとすれば施錠するしかつそれは頼り無いということはない fact2: もしその中小都市が世界化するがしかし有資格でないならば粗い fact3: 何らかのものは変え難い fact4: もしその中小都市が変え難いがインターネット・ビレッジ・センターでないとすればその裸線は小難しくない fact5: その中小都市が粗いとするとそれは然するということはないかもしくは小難しくないかもしくはどちらもだ fact6: 何らかの物が施錠するということはないならばインターネット・ビレッジ・センターだし頼り無い fact7: その慈善事業は小汚い一方で成し難くない fact8: 仮になんらかのものが縮み上がれば撮み出さないがしかし御恥ずかしい fact9: もしもとあるものが然しないかあるいは小難しくないとしたらこのＥＯＳは小難しくない fact10: 「このＥＯＳは衰退するがそれは尽力すらない」ということは成り立たないとすればそれは然するということはない fact11: 仮にインターネット・ビレッジ・センターが小難しくないとしたら変え難い fact12: この当該申請書は衰退しない fact13: このＥＯＳは表象的思考でないけど買い取る fact14: 「その中小都市は変え難いけれど衰退しない」ということは確かでない fact15: その裸線は小難しい fact16: 仮にこのＥＯＳが表象的思考でなくてそれが生起し得るということはないとすればそれは施錠しない fact17: 変え難い物は尽力す fact18: 仮にこのＥＯＳが然する一方で小難しくないとすればその裸線はインターネット・ビレッジ・センターでない fact19: その中小都市は世界化するけれどそれは有資格でない fact20: 「施錠するし頼り無くない」物があるとすればあの当該申請書はダイアモンドでない fact21: もしもこのＥＯＳが尽力すらないとするとその中小都市は変え難いがそれはインターネット・ビレッジ・センターでない fact22: もしもその裸線が撮み出すということはないが御恥ずかしいならばあのＥＯＳは生起し得ない ; $hypothesis$ = この当該申請書はダイアモンドでない ; $proof$ = 
void -> assump1: 以下のように仮定する。このＥＯＳは衰退する一方で尽力すらない; assump1 -> int1: このＥＯＳは尽力すらない; int1 & fact21 -> int2: その中小都市は変え難いがそれはインターネット・ビレッジ・センターでない; int2 & fact4 -> int3: その裸線は小難しくない; int3 & fact15 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「このＥＯＳは衰退するけど尽力すらない」ということは間違いだ; int5 & fact10 -> int6: このＥＯＳは然しない; int6 & fact1 -> int7: このＥＯＳは施錠するがしかしそれは頼り無くない; int7 -> int8: 「施錠するし加えて頼り無いということはない」ものはある; int8 & fact20 -> hypothesis; __PROVED__
事実1: もし「このＥＯＳは然しない」ということは真実であるとすれば施錠するしかつそれは頼り無いということはない
事実2: もしその中小都市が世界化するがしかし有資格でないならば粗い
事実3: 何らかのものは変え難い
事実4: もしその中小都市が変え難いがインターネット・ビレッジ・センターでないとすればその裸線は小難しくない
事実5: その中小都市が粗いとするとそれは然するということはないかもしくは小難しくないかもしくはどちらもだ
事実6: 何らかの物が施錠するということはないならばインターネット・ビレッジ・センターだし頼り無い
事実7: その慈善事業は小汚い一方で成し難くない
事実8: 仮になんらかのものが縮み上がれば撮み出さないがしかし御恥ずかしい
事実9: もしもとあるものが然しないかあるいは小難しくないとしたらこのＥＯＳは小難しくない
事実10: 「このＥＯＳは衰退するがそれは尽力すらない」ということは成り立たないとすればそれは然するということはない
事実11: 仮にインターネット・ビレッジ・センターが小難しくないとしたら変え難い
事実12: この当該申請書は衰退しない
事実13: このＥＯＳは表象的思考でないけど買い取る
事実14: 「その中小都市は変え難いけれど衰退しない」ということは確かでない
事実15: その裸線は小難しい
事実16: 仮にこのＥＯＳが表象的思考でなくてそれが生起し得るということはないとすればそれは施錠しない
事実17: 変え難い物は尽力す
事実18: 仮にこのＥＯＳが然する一方で小難しくないとすればその裸線はインターネット・ビレッジ・センターでない
事実19: その中小都市は世界化するけれどそれは有資格でない
事実20: 「施錠するし頼り無くない」物があるとすればあの当該申請書はダイアモンドでない
事実21: もしもこのＥＯＳが尽力すらないとするとその中小都市は変え難いがそれはインターネット・ビレッジ・センターでない
事実22: もしもその裸線が撮み出すということはないが御恥ずかしいならばあのＥＯＳは生起し得ない

仮説: この当該申請書はダイアモンドでない
1. 仮定1: 以下のように仮定する。このＥＯＳは衰退する一方で尽力すらない
2. 仮定1から、推論1: "このＥＯＳは尽力すらない"が導かれる
3. 推論1と事実21から、推論2: "その中小都市は変え難いがそれはインターネット・ビレッジ・センターでない"が導かれる
4. 推論2と事実4から、推論3: "その裸線は小難しくない"が導かれる
5. 推論3と事実15から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "「このＥＯＳは衰退するけど尽力すらない」ということは間違いだ"が導かれる
7. 推論5と事実10から、推論6: "このＥＯＳは然しない"が導かれる
8. 推論6と事実1から、推論7: "このＥＯＳは施錠するがしかしそれは頼り無くない"が導かれる
9. 推論7から、推論8: "「施錠するし加えて頼り無いということはない」ものはある"が導かれる
10. 推論8と事実20から、仮説が導かれる

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