もしこの表現・処理が古いとしたらこの機能強化は繋がり易くない
fact1: その両替は繋がり易いということはない fact2: この表現・処理は思い立たない fact3: 何らかのものは古いしかつ思い立つ fact4: 「もし仮にこの機能強化が古いならばこの表現・処理は繋がり易くない」ということは真実である fact5: 「思い立つということはない」ものはある fact6: もし何かは古いけどそれが思い立つということはないならばあの機能強化は繋がり易い fact7: 仮に古い物が思い立たないならこの機能強化は繋がり易くない fact8: もし「なにかはえぐいけれど思い立たない」ということは誤っていればそれは思い立つ fact9: 「古い」ものはある fact10: 仮に古いものが思い立つということはないならこの表現・処理は繋がり易くない fact11: もしもこの表現・処理が古いとするとこの機能強化は繋がり易い fact12: もし何かは思い立つし繋がり易いならそれは古くない fact13: 古くないものはミックスマップだ一方でネットサーフィンでない fact14: 仮にこの表現・処理が繋がり易いならこの機能強化は古くない fact15: この機能強化は繋がり易い
void -> assump1: 以下のように仮定する。この表現・処理は古い; assump1 & fact2 -> int1: この表現・処理は古いが思い立たない; int1 -> int2: 「古くて思い立たない」物はある; int2 & fact7 -> int3: 「この機能強化は繋がり易くない」ということは本当だ; [assump1] & int3 -> hypothesis;
その鶺鴒はミックスマップだ一方でそれはネットサーフィンでない
fact18 -> int4: その鶺鴒が古くないとしたらそれはミックスマップでそれにネットサーフィンだということはない; fact16 -> int5: その鶺鴒が思い立つしその上繋がり易いとすると古いということはない; fact17 -> int6: もしも「その鶺鴒はえぐいがそれは思い立たない」ということは成り立たないとすると思い立つ;
$facts$ = fact1: その両替は繋がり易いということはない fact2: この表現・処理は思い立たない fact3: 何らかのものは古いしかつ思い立つ fact4: 「もし仮にこの機能強化が古いならばこの表現・処理は繋がり易くない」ということは真実である fact5: 「思い立つということはない」ものはある fact6: もし何かは古いけどそれが思い立つということはないならばあの機能強化は繋がり易い fact7: 仮に古い物が思い立たないならこの機能強化は繋がり易くない fact8: もし「なにかはえぐいけれど思い立たない」ということは誤っていればそれは思い立つ fact9: 「古い」ものはある fact10: 仮に古いものが思い立つということはないならこの表現・処理は繋がり易くない fact11: もしもこの表現・処理が古いとするとこの機能強化は繋がり易い fact12: もし何かは思い立つし繋がり易いならそれは古くない fact13: 古くないものはミックスマップだ一方でネットサーフィンでない fact14: 仮にこの表現・処理が繋がり易いならこの機能強化は古くない fact15: この機能強化は繋がり易い ; $hypothesis$ = もしこの表現・処理が古いとしたらこの機能強化は繋がり易くない ; $proof$ = 
void -> assump1: 以下のように仮定する。この表現・処理は古い; assump1 & fact2 -> int1: この表現・処理は古いが思い立たない; int1 -> int2: 「古くて思い立たない」物はある; int2 & fact7 -> int3: 「この機能強化は繋がり易くない」ということは本当だ; [assump1] & int3 -> hypothesis; __PROVED__
事実1: その両替は繋がり易いということはない
事実2: この表現・処理は思い立たない
事実3: 何らかのものは古いしかつ思い立つ
事実4: 「もし仮にこの機能強化が古いならばこの表現・処理は繋がり易くない」ということは真実である
事実5: 「思い立つということはない」ものはある
事実6: もし何かは古いけどそれが思い立つということはないならばあの機能強化は繋がり易い
事実7: 仮に古い物が思い立たないならこの機能強化は繋がり易くない
事実8: もし「なにかはえぐいけれど思い立たない」ということは誤っていればそれは思い立つ
事実9: 「古い」ものはある
事実10: 仮に古いものが思い立つということはないならこの表現・処理は繋がり易くない
事実11: もしもこの表現・処理が古いとするとこの機能強化は繋がり易い
事実12: もし何かは思い立つし繋がり易いならそれは古くない
事実13: 古くないものはミックスマップだ一方でネットサーフィンでない
事実14: 仮にこの表現・処理が繋がり易いならこの機能強化は古くない
事実15: この機能強化は繋がり易い

仮説: もしこの表現・処理が古いとしたらこの機能強化は繋がり易くない
1. 仮定1: 以下のように仮定する。この表現・処理は古い
2. 仮定1と事実2から、推論1: "この表現・処理は古いが思い立たない"が導かれる
3. 推論1から、推論2: "「古くて思い立たない」物はある"が導かれる
4. 推論2と事実7から、推論3: "「この機能強化は繋がり易くない」ということは本当だ"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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