仮にその統計データは震えないなら「この栗毛は印象深い一方でそれは朱雀門でない」ということは正しい
fact1: 「その統計データはＣＭＳでない」ということは正しい fact2: 「この栗毛は急進しない」ということは事実である fact3: もし仮にその統計データが朱雀門でないとしたらこの栗毛は朱雀門でそれにそれはテキストレイヤーである fact4: あのＮＫＴ細胞療法は震える fact5: もし仮に何かは震えるとすればそれは印象深い fact6: もしも何らかの物は印象深いならば「朱雀門でないしたわいない」ということは成り立たない fact7: もしもなにかは急進しない一方でテキストレイヤーならばそれは印象深くない fact8: もしも何らかの物が強請らないとしたらそれは震えるし忍耐強い fact9: 「その統計データはテキストレイヤーだ」ということは本当だ fact10: もしも「その統計データは印象深くない」ということは確かならばこの栗毛は印象深いけどそれは朱雀門でない fact11: もし仮にこの栗毛がテキストレイヤーでないならばあの統計データはテキストレイヤーだ fact12: もしも「この栗毛は震えないけれど朱雀門だ」ということは成り立たないとしたら「急進する」ということは事実だ fact13: もしもこの栗毛が印象深くない一方で朱雀門だとすれば「それは震えない」ということは成り立つ fact14: 仮になんらかのものが印象深いしおまけに震えるとすれば朱雀門でない fact15: もし仮に「この栗毛は震えないがしかし急進する」ということは確かでないとするとそれは朱雀門だ fact16: もし仮にこの栗毛が震えないけれどそれがテキストレイヤーだとすると印象深くない fact17: 「その統計データは拙くない一方で震える」ということは本当でない fact18: 「この栗毛は戯画化しないけれど朱雀門である」ということは成り立たない fact19: この抗菌活性は宜しない一方でそれはぼやく fact20: もし仮に「「その統計データは急進しないけどテキストレイヤーだ」ということは偽だ」ということは真実だとすると震える
void -> assump2: 以下のように仮定する。「その統計データは急進しないがしかしテキストレイヤーである」ということは間違っている; fact20 & assump2 -> int1: 「その統計データは震える」ということは偽でない; void -> assump1: 以下のように仮定する。その統計データは震えない; int1 & assump1 -> int2: これは矛盾である; [assump2] & int2 -> int3: その統計データは急進しない一方でテキストレイヤーである; fact7 -> int4: もし仮にその統計データが急進しない一方でそれがテキストレイヤーならばそれは印象深くない; int3 & int4 -> int5: その統計データは印象深くない; int5 & fact10 -> int6: この栗毛は印象深いけれど朱雀門でない; [assump1] & int6 -> hypothesis;
「この処理条件は朱雀門でない一方でたわいない」ということは偽である
fact22 -> int7: もし仮にこの処理条件は印象深いとすると「それは朱雀門でないけれどたわいない」ということは間違っている; fact23 -> int8: この処理条件が震えるとしたら印象深い; fact21 -> int9: もし仮にその統計データが強請らないならばそれは震えるしおまけにそれは忍耐強い;
$facts$ = fact1: 「その統計データはＣＭＳでない」ということは正しい fact2: 「この栗毛は急進しない」ということは事実である fact3: もし仮にその統計データが朱雀門でないとしたらこの栗毛は朱雀門でそれにそれはテキストレイヤーである fact4: あのＮＫＴ細胞療法は震える fact5: もし仮に何かは震えるとすればそれは印象深い fact6: もしも何らかの物は印象深いならば「朱雀門でないしたわいない」ということは成り立たない fact7: もしもなにかは急進しない一方でテキストレイヤーならばそれは印象深くない fact8: もしも何らかの物が強請らないとしたらそれは震えるし忍耐強い fact9: 「その統計データはテキストレイヤーだ」ということは本当だ fact10: もしも「その統計データは印象深くない」ということは確かならばこの栗毛は印象深いけどそれは朱雀門でない fact11: もし仮にこの栗毛がテキストレイヤーでないならばあの統計データはテキストレイヤーだ fact12: もしも「この栗毛は震えないけれど朱雀門だ」ということは成り立たないとしたら「急進する」ということは事実だ fact13: もしもこの栗毛が印象深くない一方で朱雀門だとすれば「それは震えない」ということは成り立つ fact14: 仮になんらかのものが印象深いしおまけに震えるとすれば朱雀門でない fact15: もし仮に「この栗毛は震えないがしかし急進する」ということは確かでないとするとそれは朱雀門だ fact16: もし仮にこの栗毛が震えないけれどそれがテキストレイヤーだとすると印象深くない fact17: 「その統計データは拙くない一方で震える」ということは本当でない fact18: 「この栗毛は戯画化しないけれど朱雀門である」ということは成り立たない fact19: この抗菌活性は宜しない一方でそれはぼやく fact20: もし仮に「「その統計データは急進しないけどテキストレイヤーだ」ということは偽だ」ということは真実だとすると震える ; $hypothesis$ = 仮にその統計データは震えないなら「この栗毛は印象深い一方でそれは朱雀門でない」ということは正しい ; $proof$ = 
void -> assump2: 以下のように仮定する。「その統計データは急進しないがしかしテキストレイヤーである」ということは間違っている; fact20 & assump2 -> int1: 「その統計データは震える」ということは偽でない; void -> assump1: 以下のように仮定する。その統計データは震えない; int1 & assump1 -> int2: これは矛盾である; [assump2] & int2 -> int3: その統計データは急進しない一方でテキストレイヤーである; fact7 -> int4: もし仮にその統計データが急進しない一方でそれがテキストレイヤーならばそれは印象深くない; int3 & int4 -> int5: その統計データは印象深くない; int5 & fact10 -> int6: この栗毛は印象深いけれど朱雀門でない; [assump1] & int6 -> hypothesis; __PROVED__
事実1: 「その統計データはＣＭＳでない」ということは正しい
事実2: 「この栗毛は急進しない」ということは事実である
事実3: もし仮にその統計データが朱雀門でないとしたらこの栗毛は朱雀門でそれにそれはテキストレイヤーである
事実4: あのＮＫＴ細胞療法は震える
事実5: もし仮に何かは震えるとすればそれは印象深い
事実6: もしも何らかの物は印象深いならば「朱雀門でないしたわいない」ということは成り立たない
事実7: もしもなにかは急進しない一方でテキストレイヤーならばそれは印象深くない
事実8: もしも何らかの物が強請らないとしたらそれは震えるし忍耐強い
事実9: 「その統計データはテキストレイヤーだ」ということは本当だ
事実10: もしも「その統計データは印象深くない」ということは確かならばこの栗毛は印象深いけどそれは朱雀門でない
事実11: もし仮にこの栗毛がテキストレイヤーでないならばあの統計データはテキストレイヤーだ
事実12: もしも「この栗毛は震えないけれど朱雀門だ」ということは成り立たないとしたら「急進する」ということは事実だ
事実13: もしもこの栗毛が印象深くない一方で朱雀門だとすれば「それは震えない」ということは成り立つ
事実14: 仮になんらかのものが印象深いしおまけに震えるとすれば朱雀門でない
事実15: もし仮に「この栗毛は震えないがしかし急進する」ということは確かでないとするとそれは朱雀門だ
事実16: もし仮にこの栗毛が震えないけれどそれがテキストレイヤーだとすると印象深くない
事実17: 「その統計データは拙くない一方で震える」ということは本当でない
事実18: 「この栗毛は戯画化しないけれど朱雀門である」ということは成り立たない
事実19: この抗菌活性は宜しない一方でそれはぼやく
事実20: もし仮に「「その統計データは急進しないけどテキストレイヤーだ」ということは偽だ」ということは真実だとすると震える

仮説: 仮にその統計データは震えないなら「この栗毛は印象深い一方でそれは朱雀門でない」ということは正しい
1. 仮定2: 以下のように仮定する。「その統計データは急進しないがしかしテキストレイヤーである」ということは間違っている
2. 事実20と仮定2から、推論1: "「その統計データは震える」ということは偽でない"が導かれる
3. 仮定1: 以下のように仮定する。その統計データは震えない
4. 推論1と仮定1から、推論2: "これは矛盾である"が導かれる
5. [仮定2]と推論2から、推論3: "その統計データは急進しない一方でテキストレイヤーである"が導かれる
6. 事実7から、推論4: "もし仮にその統計データが急進しない一方でそれがテキストレイヤーならばそれは印象深くない"が導かれる
7. 推論3と推論4から、推論5: "その統計データは印象深くない"が導かれる
8. 推論5と事実10から、推論6: "この栗毛は印象深いけれど朱雀門でない"が導かれる
9. [仮定1]と推論6から、仮説が導かれる

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