そのＰＣＲ反応は特定化する
fact1: 仮になんらかのものが癒し難いとしたらそれは特定化しない fact2: 仮になんらかの物がシステム構成でないとするとそれは癒し難いししかも温熱処理だ fact3: そのポリカーボネートは温熱処理である fact4: 「そのポリカーボネートは掩護するけどそれは正当化出来るということはない」ということは成り立たない fact5: そのポリカーボネートは掩護するが比較考察するということはないならば「癒し難くない」ということは事実と異ならない fact6: そのポリカーボネートは比較考察しない fact7: 仮に「そのポリカーボネートは比較考察する」ということは真実であるとするとシステム構成でない fact8: もしそのポリカーボネートは掩護するし比較考察するとすると癒し難くない fact9: 仮にこの暗幕はシステム構成でないとすれば「そのポリカーボネートは癒し難くなくてそれに温熱処理でない」ということは偽だ fact10: そのポリカーボネートはシステム構成である fact11: もし仮にそのポリカーボネートが癒し難くないが温熱処理だとしたら「そのＰＣＲ反応は特定化する」ということは事実だ fact12: あの原音は温熱処理でないけど他国だ fact13: 「そのＰＣＲ反応は温熱処理でしかも展開し易い」ということは誤っている fact14: もしもこの洗面台が覚束無くないならばこの暗幕はシステム構成でない fact15: もし仮に「そのポリカーボネートは掩護するが比較考察しない」ということは成り立たないならシステム構成だということはない fact16: そのポリカーボネートが掩護しないけれどそれが特定化するとするとそのＰＣＲ反応は比較考察する
void -> assump1: 以下のように仮定する。「「そのポリカーボネートは掩護するが比較考察しない」ということは成り立つ」ということは間違いだ; fact15 & assump1 -> int1: そのポリカーボネートはシステム構成でない; int1 & fact10 -> int2: これは矛盾である; [assump1] & int2 -> int3: そのポリカーボネートは掩護するけれど比較考察しない; int3 & fact5 -> int4: そのポリカーボネートは癒し難いということはない; int4 & fact3 -> int5: そのポリカーボネートは癒し難くないけれど温熱処理である; int5 & fact11 -> hypothesis;
「その外注は温熱処理でない」ということは誤りだ
fact17 -> int6: 仮にその外注がシステム構成でないとすれば癒し難いししかも温熱処理だ;
$facts$ = fact1: 仮になんらかのものが癒し難いとしたらそれは特定化しない fact2: 仮になんらかの物がシステム構成でないとするとそれは癒し難いししかも温熱処理だ fact3: そのポリカーボネートは温熱処理である fact4: 「そのポリカーボネートは掩護するけどそれは正当化出来るということはない」ということは成り立たない fact5: そのポリカーボネートは掩護するが比較考察するということはないならば「癒し難くない」ということは事実と異ならない fact6: そのポリカーボネートは比較考察しない fact7: 仮に「そのポリカーボネートは比較考察する」ということは真実であるとするとシステム構成でない fact8: もしそのポリカーボネートは掩護するし比較考察するとすると癒し難くない fact9: 仮にこの暗幕はシステム構成でないとすれば「そのポリカーボネートは癒し難くなくてそれに温熱処理でない」ということは偽だ fact10: そのポリカーボネートはシステム構成である fact11: もし仮にそのポリカーボネートが癒し難くないが温熱処理だとしたら「そのＰＣＲ反応は特定化する」ということは事実だ fact12: あの原音は温熱処理でないけど他国だ fact13: 「そのＰＣＲ反応は温熱処理でしかも展開し易い」ということは誤っている fact14: もしもこの洗面台が覚束無くないならばこの暗幕はシステム構成でない fact15: もし仮に「そのポリカーボネートは掩護するが比較考察しない」ということは成り立たないならシステム構成だということはない fact16: そのポリカーボネートが掩護しないけれどそれが特定化するとするとそのＰＣＲ反応は比較考察する ; $hypothesis$ = そのＰＣＲ反応は特定化する ; $proof$ = 
void -> assump1: 以下のように仮定する。「「そのポリカーボネートは掩護するが比較考察しない」ということは成り立つ」ということは間違いだ; fact15 & assump1 -> int1: そのポリカーボネートはシステム構成でない; int1 & fact10 -> int2: これは矛盾である; [assump1] & int2 -> int3: そのポリカーボネートは掩護するけれど比較考察しない; int3 & fact5 -> int4: そのポリカーボネートは癒し難いということはない; int4 & fact3 -> int5: そのポリカーボネートは癒し難くないけれど温熱処理である; int5 & fact11 -> hypothesis; __PROVED__
事実1: 仮になんらかのものが癒し難いとしたらそれは特定化しない
事実2: 仮になんらかの物がシステム構成でないとするとそれは癒し難いししかも温熱処理だ
事実3: そのポリカーボネートは温熱処理である
事実4: 「そのポリカーボネートは掩護するけどそれは正当化出来るということはない」ということは成り立たない
事実5: そのポリカーボネートは掩護するが比較考察するということはないならば「癒し難くない」ということは事実と異ならない
事実6: そのポリカーボネートは比較考察しない
事実7: 仮に「そのポリカーボネートは比較考察する」ということは真実であるとするとシステム構成でない
事実8: もしそのポリカーボネートは掩護するし比較考察するとすると癒し難くない
事実9: 仮にこの暗幕はシステム構成でないとすれば「そのポリカーボネートは癒し難くなくてそれに温熱処理でない」ということは偽だ
事実10: そのポリカーボネートはシステム構成である
事実11: もし仮にそのポリカーボネートが癒し難くないが温熱処理だとしたら「そのＰＣＲ反応は特定化する」ということは事実だ
事実12: あの原音は温熱処理でないけど他国だ
事実13: 「そのＰＣＲ反応は温熱処理でしかも展開し易い」ということは誤っている
事実14: もしもこの洗面台が覚束無くないならばこの暗幕はシステム構成でない
事実15: もし仮に「そのポリカーボネートは掩護するが比較考察しない」ということは成り立たないならシステム構成だということはない
事実16: そのポリカーボネートが掩護しないけれどそれが特定化するとするとそのＰＣＲ反応は比較考察する

仮説: そのＰＣＲ反応は特定化する
1. 仮定1: 以下のように仮定する。「「そのポリカーボネートは掩護するが比較考察しない」ということは成り立つ」ということは間違いだ
2. 事実15と仮定1から、推論1: "そのポリカーボネートはシステム構成でない"が導かれる
3. 推論1と事実10から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "そのポリカーボネートは掩護するけれど比較考察しない"が導かれる
5. 推論3と事実5から、推論4: "そのポリカーボネートは癒し難いということはない"が導かれる
6. 推論4と事実3から、推論5: "そのポリカーボネートは癒し難くないけれど温熱処理である"が導かれる
7. 推論5と事実11から、仮説が導かれる

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