もしもあの取り引き開始は太しなら「この細胞内輸送経路は作り難くないけれどブラックアウトする」ということは誤りだ
fact1: もしあの取り引き開始が借り換えるしおまけにツリー表示パネルであるならばこの強兵はツリー表示パネルであるということはない fact2: この細胞内輸送経路は借り換えない fact3: なにかは艶めかしいとしたら「それは作り難いし加えてそれは太しない」ということは事実と異なる fact4: もし仮にこの細胞内輸送経路がブラックアウトしないとするとあの取り引き開始は借り換えるしそれにそれはツリー表示パネルだ fact5: あの取り引き開始がブラックアウトするということはないとしたらこの細胞内輸送経路は借り換えないけどブラックアウトする fact6: もしこの細胞内輸送経路は作り難いということはないならば「あの取り引き開始はブラックアウトするということはないけどそれは作り難い」ということは嘘である fact7: この細胞内輸送経路は作り難くないけどブラックアウトする fact8: もしも「あの強制適用事業所は作り難いけどそれは太しない」ということは間違っているならばあの細胞内輸送経路はブラックアウトしない fact9: この細胞内輸送経路は作り難くないがそれは太し fact10: 仮にあの取り引き開始はブラックアウトしないならば「この細胞内輸送経路は作り難くないけれどブラックアウトする」ということは成り立たない fact11: もし仮にあの取り引き開始は太しなら「この細胞内輸送経路は作り難いししかもブラックアウトする」ということは偽である fact12: あの取り引き開始はツリー表示パネルでまた借り換える fact13: この細胞内輸送経路はツリー表示パネルでない fact14: 「何かはツリー表示パネルであるしおまけにブラックアウトする」ということは正しいとするとそれは太しない
fact12 -> int1: あの取り引き開始はツリー表示パネルだ; void -> assump2: 以下のように仮定する。あの取り引き開始はブラックアウトする; int1 & assump2 -> int2: あの取り引き開始はツリー表示パネルであるしさらにブラックアウトする; fact14 -> int3: もしあの取り引き開始はツリー表示パネルでその上ブラックアウトするとしたら太しない; int2 & int3 -> int4: あの取り引き開始は太しない; void -> assump1: 以下のように仮定する。あの取り引き開始は太し; int4 & assump1 -> int5: これは矛盾である; [assump2] & int5 -> int6: あの取り引き開始はブラックアウトしない; int6 & fact10 -> int7: 「この細胞内輸送経路は作り難くないけれどブラックアウトする」ということは成り立たない; [assump1] & int7 -> hypothesis;
この強兵はツリー表示パネルでない
fact15 -> int8: もしその婚姻前は艶めかしいとすれば「それは作り難いけど太しない」ということは成り立たない;
$facts$ = fact1: もしあの取り引き開始が借り換えるしおまけにツリー表示パネルであるならばこの強兵はツリー表示パネルであるということはない fact2: この細胞内輸送経路は借り換えない fact3: なにかは艶めかしいとしたら「それは作り難いし加えてそれは太しない」ということは事実と異なる fact4: もし仮にこの細胞内輸送経路がブラックアウトしないとするとあの取り引き開始は借り換えるしそれにそれはツリー表示パネルだ fact5: あの取り引き開始がブラックアウトするということはないとしたらこの細胞内輸送経路は借り換えないけどブラックアウトする fact6: もしこの細胞内輸送経路は作り難いということはないならば「あの取り引き開始はブラックアウトするということはないけどそれは作り難い」ということは嘘である fact7: この細胞内輸送経路は作り難くないけどブラックアウトする fact8: もしも「あの強制適用事業所は作り難いけどそれは太しない」ということは間違っているならばあの細胞内輸送経路はブラックアウトしない fact9: この細胞内輸送経路は作り難くないがそれは太し fact10: 仮にあの取り引き開始はブラックアウトしないならば「この細胞内輸送経路は作り難くないけれどブラックアウトする」ということは成り立たない fact11: もし仮にあの取り引き開始は太しなら「この細胞内輸送経路は作り難いししかもブラックアウトする」ということは偽である fact12: あの取り引き開始はツリー表示パネルでまた借り換える fact13: この細胞内輸送経路はツリー表示パネルでない fact14: 「何かはツリー表示パネルであるしおまけにブラックアウトする」ということは正しいとするとそれは太しない ; $hypothesis$ = もしもあの取り引き開始は太しなら「この細胞内輸送経路は作り難くないけれどブラックアウトする」ということは誤りだ ; $proof$ = 
fact12 -> int1: あの取り引き開始はツリー表示パネルだ; void -> assump2: 以下のように仮定する。あの取り引き開始はブラックアウトする; int1 & assump2 -> int2: あの取り引き開始はツリー表示パネルであるしさらにブラックアウトする; fact14 -> int3: もしあの取り引き開始はツリー表示パネルでその上ブラックアウトするとしたら太しない; int2 & int3 -> int4: あの取り引き開始は太しない; void -> assump1: 以下のように仮定する。あの取り引き開始は太し; int4 & assump1 -> int5: これは矛盾である; [assump2] & int5 -> int6: あの取り引き開始はブラックアウトしない; int6 & fact10 -> int7: 「この細胞内輸送経路は作り難くないけれどブラックアウトする」ということは成り立たない; [assump1] & int7 -> hypothesis; __PROVED__
事実1: もしあの取り引き開始が借り換えるしおまけにツリー表示パネルであるならばこの強兵はツリー表示パネルであるということはない
事実2: この細胞内輸送経路は借り換えない
事実3: なにかは艶めかしいとしたら「それは作り難いし加えてそれは太しない」ということは事実と異なる
事実4: もし仮にこの細胞内輸送経路がブラックアウトしないとするとあの取り引き開始は借り換えるしそれにそれはツリー表示パネルだ
事実5: あの取り引き開始がブラックアウトするということはないとしたらこの細胞内輸送経路は借り換えないけどブラックアウトする
事実6: もしこの細胞内輸送経路は作り難いということはないならば「あの取り引き開始はブラックアウトするということはないけどそれは作り難い」ということは嘘である
事実7: この細胞内輸送経路は作り難くないけどブラックアウトする
事実8: もしも「あの強制適用事業所は作り難いけどそれは太しない」ということは間違っているならばあの細胞内輸送経路はブラックアウトしない
事実9: この細胞内輸送経路は作り難くないがそれは太し
事実10: 仮にあの取り引き開始はブラックアウトしないならば「この細胞内輸送経路は作り難くないけれどブラックアウトする」ということは成り立たない
事実11: もし仮にあの取り引き開始は太しなら「この細胞内輸送経路は作り難いししかもブラックアウトする」ということは偽である
事実12: あの取り引き開始はツリー表示パネルでまた借り換える
事実13: この細胞内輸送経路はツリー表示パネルでない
事実14: 「何かはツリー表示パネルであるしおまけにブラックアウトする」ということは正しいとするとそれは太しない

仮説: もしもあの取り引き開始は太しなら「この細胞内輸送経路は作り難くないけれどブラックアウトする」ということは誤りだ
1. 事実12から、推論1: "あの取り引き開始はツリー表示パネルだ"が導かれる
2. 仮定2: 以下のように仮定する。あの取り引き開始はブラックアウトする
3. 推論1と仮定2から、推論2: "あの取り引き開始はツリー表示パネルであるしさらにブラックアウトする"が導かれる
4. 事実14から、推論3: "もしあの取り引き開始はツリー表示パネルでその上ブラックアウトするとしたら太しない"が導かれる
5. 推論2と推論3から、推論4: "あの取り引き開始は太しない"が導かれる
6. 仮定1: 以下のように仮定する。あの取り引き開始は太し
7. 推論4と仮定1から、推論5: "これは矛盾である"が導かれる
8. [仮定2]と推論5から、推論6: "あの取り引き開始はブラックアウトしない"が導かれる
9. 推論6と事実10から、推論7: "「この細胞内輸送経路は作り難くないけれどブラックアウトする」ということは成り立たない"が導かれる
10. [仮定1]と推論7から、仮説が導かれる

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