その償還義務は軟禁しない
fact1: 仮に「このプリンタ設定ユーティリティはスピーキング・テストでないしそれは活気付かない」ということは成り立たないとすればその償還義務は軟禁しない fact2: 「「あの当座的会社企業が弁解はましくらなくてまた活気付くということはない」ということは成り立つ」ということは事実と異なる fact3: その償還義務はキロでないしスピーキング・テストでない fact4: もし「このプリンタ設定ユーティリティは活気付かないしまたスピーキング・テストでない」ということは成り立たないとするとその償還義務は伸び易くない fact5: 仮になにがしかの物がスピーキング・テストでないしかつそれは活気付くということはないとしたら「それは伸び易い」ということは成り立たない fact6: もし仮になんらかのものがスピーキング・テストでない一方でそれが活気付くなら伸び易くない fact7: このプリンタ設定ユーティリティは軟禁しない fact8: あのスクラップ・アンド・ビルドは伸び易くない fact9: 「その償還義務は十三階建てだけれどそれは注げない」ということは誤っている fact10: もしも「何かは新入会員でなくて更に痛々しくない」ということは誤りだとすれば逮捕前置でない fact11: その償還義務は一階地上である fact12: もし「とある物は喧しい」ということは成り立てば「それは新入会員でないししかも痛々しくない」ということは誤りである fact13: このプリンタ設定ユーティリティは活気付かなくてかつそれは軟禁しない fact14: このプリンタ設定ユーティリティはたんぽ鍋でない fact15: このプリンタ設定ユーティリティはどでかくないしおまけに軟禁しない fact16: もしとあるものが活気付くということはないしそれに伸び易いということはないとするとそれは軟禁しない fact17: あのＡＤＤコマンドは活気付かない fact18: もしも伸び易くないものが軟禁しないとするとそれは活気付かない fact19: このプリンタ設定ユーティリティは伸び易い fact20: このプリンタ設定ユーティリティは量り売りでない fact21: 「その償還義務は推賞しなくておまけに本社人事部でない」ということは偽である fact22: もしもその償還義務がスピーキング・テストであるとすればこのプリンタ設定ユーティリティは軟禁しない
fact5 -> int1: もし仮にこのプリンタ設定ユーティリティがスピーキング・テストでないしそれが活気付かないなら伸び易くない; void -> assump1: 以下のように仮定する。このプリンタ設定ユーティリティはスピーキング・テストでないし活気付かない; int1 & assump1 -> int2: このプリンタ設定ユーティリティは伸び易くない; int2 & fact19 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「このプリンタ設定ユーティリティはスピーキング・テストでないしおまけに活気付かない」ということは嘘だ; int4 & fact1 -> hypothesis;
「その償還義務は軟禁する」ということは真実である
fact24 -> int5: もしも「この公正価額は新入会員だということはなくてかつ痛々しくない」ということは嘘であるなら逮捕前置でない; fact23 -> int6: もしこのシン城は喧しいとしたら「新入会員だということはないししかも痛々しくない」ということは真実でない;
$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$ = 
fact5 -> int1: もし仮にこのプリンタ設定ユーティリティがスピーキング・テストでないしそれが活気付かないなら伸び易くない; void -> assump1: 以下のように仮定する。このプリンタ設定ユーティリティはスピーキング・テストでないし活気付かない; int1 & assump1 -> int2: このプリンタ設定ユーティリティは伸び易くない; int2 & fact19 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「このプリンタ設定ユーティリティはスピーキング・テストでないしおまけに活気付かない」ということは嘘だ; int4 & fact1 -> 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. 事実5から、推論1: "もし仮にこのプリンタ設定ユーティリティがスピーキング・テストでないしそれが活気付かないなら伸び易くない"が導かれる
2. 仮定1: 以下のように仮定する。このプリンタ設定ユーティリティはスピーキング・テストでないし活気付かない
3. 推論1と仮定1から、推論2: "このプリンタ設定ユーティリティは伸び易くない"が導かれる
4. 推論2と事実19から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「このプリンタ設定ユーティリティはスピーキング・テストでないしおまけに活気付かない」ということは嘘だ"が導かれる
6. 推論4と事実1から、仮説が導かれる

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