その紅紫色は整地層である
fact1: もし「このキャプションは粉っぽくて検知する」ということは間違っているとすればあの政策面は粉っぽいということはない fact2: もし仮に「このキャプションは変え難くない一方で粉っぽい」ということは成り立たないとしたらその紅紫色は整地層だ fact3: その政策面が検知しないとしたらあの込み枝は根強くない fact4: このキャプションが変え難いしおまけにそれが粉っぽいとしたらあの込み枝は根強い fact5: もし仮にこのキャプションは根強くないけど粉っぽいなら「その政策面は検知する」ということは事実である fact6: 「その政策面は根強くて検知する」ということは本当でない fact7: このキャプションは変え難くないけれど粉っぽいなら「あの込み枝は根強い」ということは確かである fact8: 仮になにかは整地層であるかまたは粉っぽくないとするとそれは粉っぽくない fact9: もし仮に「その政策面は根強いし加えて検知する」ということは成り立たないならあの込み枝は根強くない fact10: 「このキャプションは変え難くて粉っぽい」ということは成り立たない
void -> assump1: 以下のように仮定する。このキャプションは変え難くないけど粉っぽい; fact7 & assump1 -> int1: あの込み枝は根強い; fact9 & fact6 -> int2: あの込み枝は根強くない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「このキャプションは変え難いということはないがしかしそれは粉っぽい」ということは事実と異なる; int4 & fact2 -> hypothesis;
その政策面は粉っぽくない
fact11 -> int5: もしその政策面は整地層であるかあるいは粉っぽくないならそれは粉っぽくない;
$facts$ = fact1: もし「このキャプションは粉っぽくて検知する」ということは間違っているとすればあの政策面は粉っぽいということはない fact2: もし仮に「このキャプションは変え難くない一方で粉っぽい」ということは成り立たないとしたらその紅紫色は整地層だ fact3: その政策面が検知しないとしたらあの込み枝は根強くない fact4: このキャプションが変え難いしおまけにそれが粉っぽいとしたらあの込み枝は根強い fact5: もし仮にこのキャプションは根強くないけど粉っぽいなら「その政策面は検知する」ということは事実である fact6: 「その政策面は根強くて検知する」ということは本当でない fact7: このキャプションは変え難くないけれど粉っぽいなら「あの込み枝は根強い」ということは確かである fact8: 仮になにかは整地層であるかまたは粉っぽくないとするとそれは粉っぽくない fact9: もし仮に「その政策面は根強いし加えて検知する」ということは成り立たないならあの込み枝は根強くない fact10: 「このキャプションは変え難くて粉っぽい」ということは成り立たない ; $hypothesis$ = その紅紫色は整地層である ; $proof$ = 
void -> assump1: 以下のように仮定する。このキャプションは変え難くないけど粉っぽい; fact7 & assump1 -> int1: あの込み枝は根強い; fact9 & fact6 -> int2: あの込み枝は根強くない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「このキャプションは変え難いということはないがしかしそれは粉っぽい」ということは事実と異なる; int4 & fact2 -> hypothesis; __PROVED__
事実1: もし「このキャプションは粉っぽくて検知する」ということは間違っているとすればあの政策面は粉っぽいということはない
事実2: もし仮に「このキャプションは変え難くない一方で粉っぽい」ということは成り立たないとしたらその紅紫色は整地層だ
事実3: その政策面が検知しないとしたらあの込み枝は根強くない
事実4: このキャプションが変え難いしおまけにそれが粉っぽいとしたらあの込み枝は根強い
事実5: もし仮にこのキャプションは根強くないけど粉っぽいなら「その政策面は検知する」ということは事実である
事実6: 「その政策面は根強くて検知する」ということは本当でない
事実7: このキャプションは変え難くないけれど粉っぽいなら「あの込み枝は根強い」ということは確かである
事実8: 仮になにかは整地層であるかまたは粉っぽくないとするとそれは粉っぽくない
事実9: もし仮に「その政策面は根強いし加えて検知する」ということは成り立たないならあの込み枝は根強くない
事実10: 「このキャプションは変え難くて粉っぽい」ということは成り立たない

仮説: その紅紫色は整地層である
1. 仮定1: 以下のように仮定する。このキャプションは変え難くないけど粉っぽい
2. 事実7と仮定1から、推論1: "あの込み枝は根強い"が導かれる
3. 事実9と事実6から、推論2: "あの込み枝は根強くない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「このキャプションは変え難いということはないがしかしそれは粉っぽい」ということは事実と異なる"が導かれる
6. 推論4と事実2から、仮説が導かれる

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