その紙魚は末恐ろしくない
fact1: この収蔵展示は譲位する fact2: あるものは開業出来るけれど遅れ易くないとしたらそれは捧げ切らない fact3: もし仮にそのＳＥＣ蛋白質が叩き為さるとしたらその紙魚は叩き為さる fact4: あのリスクアセスメントは譲位する fact5: 仮になにがしかのものが叩き為さるということはないとするとそれは居するし愛撫するということはない fact6: この収蔵展示は代参しない fact7: 仮に「そのＳＥＣ蛋白質は叩き為さる」ということは本当だとすればその紙魚は叩き為さるが直線関係でない fact8: なんらかの物が叩き為さるけど直線関係でないならば末恐ろしくない fact9: なんらかのものが叩き為さらないならばそれは愛撫しない fact10: もし仮に「そのマティアス・バイスは叩き為さる」ということは真実だとしたらその紙魚は叩き為さらない fact11: もし仮にそのマティアス・バイスは譲位しないならば「この収蔵展示は譲位するけれど代参するということはない」ということは嘘である fact12: 絡み合いはある fact13: もしもこの収蔵展示は聖断でないとしたらそれは代参するしその上直線関係だ fact14: もしこの収蔵展示が代参するとしたらそのマティアス・バイスは代参する fact15: その細巻は代参しない fact16: もしあるものが叩き為さらないとすれば末恐ろしい fact17: もし仮にそのＳＥＣ蛋白質が居するけれど愛撫しないならばそのマティアス・バイスは譲位しない
fact5 -> int1: もし「そのＳＥＣ蛋白質は叩き為さるということはない」ということは本当ならば居するが愛撫しない; void -> assump1: 以下のように仮定する。「そのＳＥＣ蛋白質は叩き為さらない」ということは真実である; int1 & assump1 -> int2: そのＳＥＣ蛋白質は居するが愛撫しない; int2 & fact17 -> int3: そのマティアス・バイスは譲位しない; int3 & fact11 -> int4: 「この収蔵展示は譲位するけど代参しない」ということは事実と異なる; fact1 & fact6 -> int5: この収蔵展示は譲位するがしかし代参しない; int4 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: そのＳＥＣ蛋白質は叩き為さる; int7 & fact7 -> int8: その紙魚は叩き為さる一方でそれは直線関係でない; fact8 -> int9: その紙魚は叩き為さる一方で直線関係だということはないならそれは末恐ろしくない; int8 & int9 -> hypothesis;
その紙魚は末恐ろしい
fact18 -> int10: その紙魚が叩き為さらないとしたらそれは末恐ろしい;
$facts$ = fact1: この収蔵展示は譲位する fact2: あるものは開業出来るけれど遅れ易くないとしたらそれは捧げ切らない fact3: もし仮にそのＳＥＣ蛋白質が叩き為さるとしたらその紙魚は叩き為さる fact4: あのリスクアセスメントは譲位する fact5: 仮になにがしかのものが叩き為さるということはないとするとそれは居するし愛撫するということはない fact6: この収蔵展示は代参しない fact7: 仮に「そのＳＥＣ蛋白質は叩き為さる」ということは本当だとすればその紙魚は叩き為さるが直線関係でない fact8: なんらかの物が叩き為さるけど直線関係でないならば末恐ろしくない fact9: なんらかのものが叩き為さらないならばそれは愛撫しない fact10: もし仮に「そのマティアス・バイスは叩き為さる」ということは真実だとしたらその紙魚は叩き為さらない fact11: もし仮にそのマティアス・バイスは譲位しないならば「この収蔵展示は譲位するけれど代参するということはない」ということは嘘である fact12: 絡み合いはある fact13: もしもこの収蔵展示は聖断でないとしたらそれは代参するしその上直線関係だ fact14: もしこの収蔵展示が代参するとしたらそのマティアス・バイスは代参する fact15: その細巻は代参しない fact16: もしあるものが叩き為さらないとすれば末恐ろしい fact17: もし仮にそのＳＥＣ蛋白質が居するけれど愛撫しないならばそのマティアス・バイスは譲位しない ; $hypothesis$ = その紙魚は末恐ろしくない ; $proof$ = 
fact5 -> int1: もし「そのＳＥＣ蛋白質は叩き為さるということはない」ということは本当ならば居するが愛撫しない; void -> assump1: 以下のように仮定する。「そのＳＥＣ蛋白質は叩き為さらない」ということは真実である; int1 & assump1 -> int2: そのＳＥＣ蛋白質は居するが愛撫しない; int2 & fact17 -> int3: そのマティアス・バイスは譲位しない; int3 & fact11 -> int4: 「この収蔵展示は譲位するけど代参しない」ということは事実と異なる; fact1 & fact6 -> int5: この収蔵展示は譲位するがしかし代参しない; int4 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: そのＳＥＣ蛋白質は叩き為さる; int7 & fact7 -> int8: その紙魚は叩き為さる一方でそれは直線関係でない; fact8 -> int9: その紙魚は叩き為さる一方で直線関係だということはないならそれは末恐ろしくない; int8 & int9 -> hypothesis; __PROVED__
事実1: この収蔵展示は譲位する
事実2: あるものは開業出来るけれど遅れ易くないとしたらそれは捧げ切らない
事実3: もし仮にそのＳＥＣ蛋白質が叩き為さるとしたらその紙魚は叩き為さる
事実4: あのリスクアセスメントは譲位する
事実5: 仮になにがしかのものが叩き為さるということはないとするとそれは居するし愛撫するということはない
事実6: この収蔵展示は代参しない
事実7: 仮に「そのＳＥＣ蛋白質は叩き為さる」ということは本当だとすればその紙魚は叩き為さるが直線関係でない
事実8: なんらかの物が叩き為さるけど直線関係でないならば末恐ろしくない
事実9: なんらかのものが叩き為さらないならばそれは愛撫しない
事実10: もし仮に「そのマティアス・バイスは叩き為さる」ということは真実だとしたらその紙魚は叩き為さらない
事実11: もし仮にそのマティアス・バイスは譲位しないならば「この収蔵展示は譲位するけれど代参するということはない」ということは嘘である
事実12: 絡み合いはある
事実13: もしもこの収蔵展示は聖断でないとしたらそれは代参するしその上直線関係だ
事実14: もしこの収蔵展示が代参するとしたらそのマティアス・バイスは代参する
事実15: その細巻は代参しない
事実16: もしあるものが叩き為さらないとすれば末恐ろしい
事実17: もし仮にそのＳＥＣ蛋白質が居するけれど愛撫しないならばそのマティアス・バイスは譲位しない

仮説: その紙魚は末恐ろしくない
1. 事実5から、推論1: "もし「そのＳＥＣ蛋白質は叩き為さるということはない」ということは本当ならば居するが愛撫しない"が導かれる
2. 仮定1: 以下のように仮定する。「そのＳＥＣ蛋白質は叩き為さらない」ということは真実である
3. 推論1と仮定1から、推論2: "そのＳＥＣ蛋白質は居するが愛撫しない"が導かれる
4. 推論2と事実17から、推論3: "そのマティアス・バイスは譲位しない"が導かれる
5. 推論3と事実11から、推論4: "「この収蔵展示は譲位するけど代参しない」ということは事実と異なる"が導かれる
6. 事実1と事実6から、推論5: "この収蔵展示は譲位するがしかし代参しない"が導かれる
7. 推論4と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "そのＳＥＣ蛋白質は叩き為さる"が導かれる
9. 推論7と事実7から、推論8: "その紙魚は叩き為さる一方でそれは直線関係でない"が導かれる
10. 事実8から、推論9: "その紙魚は叩き為さる一方で直線関係だということはないならそれは末恐ろしくない"が導かれる
11. 推論8と推論9から、仮説が導かれる

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