あの化学増幅レジストは繁殖し易いかあるいは成就致す
fact1: もし仮になにがしかのものが通い詰めるしさらに危険物ならばあの自己査定は懺悔する fact2: もし仮にあの化学増幅レジストが危険物であるということはないならばあの両班は通い詰めるししかもそれは繁殖し易い fact3: その草山反別は繁殖し易いし人民公園だ fact4: もし仮に「「なにがしかの物は上れないし小アトリエでない」ということは本当である」ということは偽であるとすると懺悔しない fact5: もしも「上れるしそれに付す」ものはあるとすれば「あの移動キャラは成就致す」ということは真実だ fact6: 仮にあるものは懺悔しないとすると「それは繁殖し易いかもしくはそれは成就致すかもしくは両方ともだ」ということは成り立たない fact7: もし仮に何らかの物が主観表現でないならそれは通い詰めるしおまけにそれは危険物である fact8: あの移動キャラは仲裁する fact9: 「小アトリエだしそれに付す」物はある fact10: もし仮に「あの化学増幅レジストは繁殖し易くない」ということは成り立つなら「あの移動キャラは小アトリエであるし更に付す」ということは真実である fact11: あの両班は通い詰めるし危険物だ fact12: もしもなにがしかの物は懺悔するということはないがしかし繁殖し易いとしたら「それは危険物だ」ということは成り立つ fact13: あらゆる物は上れるということはないかまたはそれは通い詰めるということはないかもしくは両方である fact14: もしもその自己査定は小アトリエだとすると「あの化学増幅レジストは繁殖し易いということはなくて小アトリエでない」ということは成り立たない fact15: もし仮にある物が上れるということはないか通い詰めないか両方ともであるとしたらそれは上れない fact16: あの移動キャラは付す fact17: 仮にあの移動キャラは小アトリエであるとすれば「その自己査定は上れないしそれに小アトリエであるということはない」ということは成り立たない fact18: 「あの両班は通い詰めるけれど小アトリエでない」ということは本当でない fact19: 何かは通い詰めるとすればそれは上れないかあるいは懺悔しないか両方ともである
void -> assump1: 以下のように仮定する。あの化学増幅レジストは繁殖し易いということはない; fact10 & assump1 -> int1: あの移動キャラは小アトリエであるしかつ付す; int1 -> int2: あの移動キャラは小アトリエである; int2 & fact17 -> int3: 「その自己査定は上れるということはないしおまけに小アトリエでない」ということは誤りだ; fact4 -> int4: もし仮に「その自己査定は上れないし小アトリエだということはない」ということは確かでないなら懺悔しない; int3 & int4 -> int5: その自己査定は懺悔しない; fact11 -> int6: 何かは通い詰めるしおまけに危険物だ; int6 & fact1 -> int7: 「その自己査定は懺悔する」ということは確かである; int5 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: あの化学増幅レジストは繁殖し易い; int9 -> hypothesis;
「あの化学増幅レジストは繁殖し易いかまたはそれは成就致すかあるいは両方ともだ」ということは成り立たない
fact21 -> int10: もし仮にあの化学増幅レジストは懺悔しないなら「繁殖し易いかもしくはそれは成就致す」ということは成り立つということはない; fact20 -> int11: もしあの移動キャラが通い詰めるなら上れるということはないかまたは懺悔しない; fact22 -> int12: もし仮にあの移動キャラは主観表現でないとしたら通い詰めるしさらに危険物だ;
$facts$ = fact1: もし仮になにがしかのものが通い詰めるしさらに危険物ならばあの自己査定は懺悔する fact2: もし仮にあの化学増幅レジストが危険物であるということはないならばあの両班は通い詰めるししかもそれは繁殖し易い fact3: その草山反別は繁殖し易いし人民公園だ fact4: もし仮に「「なにがしかの物は上れないし小アトリエでない」ということは本当である」ということは偽であるとすると懺悔しない fact5: もしも「上れるしそれに付す」ものはあるとすれば「あの移動キャラは成就致す」ということは真実だ fact6: 仮にあるものは懺悔しないとすると「それは繁殖し易いかもしくはそれは成就致すかもしくは両方ともだ」ということは成り立たない fact7: もし仮に何らかの物が主観表現でないならそれは通い詰めるしおまけにそれは危険物である fact8: あの移動キャラは仲裁する fact9: 「小アトリエだしそれに付す」物はある fact10: もし仮に「あの化学増幅レジストは繁殖し易くない」ということは成り立つなら「あの移動キャラは小アトリエであるし更に付す」ということは真実である fact11: あの両班は通い詰めるし危険物だ fact12: もしもなにがしかの物は懺悔するということはないがしかし繁殖し易いとしたら「それは危険物だ」ということは成り立つ fact13: あらゆる物は上れるということはないかまたはそれは通い詰めるということはないかもしくは両方である fact14: もしもその自己査定は小アトリエだとすると「あの化学増幅レジストは繁殖し易いということはなくて小アトリエでない」ということは成り立たない fact15: もし仮にある物が上れるということはないか通い詰めないか両方ともであるとしたらそれは上れない fact16: あの移動キャラは付す fact17: 仮にあの移動キャラは小アトリエであるとすれば「その自己査定は上れないしそれに小アトリエであるということはない」ということは成り立たない fact18: 「あの両班は通い詰めるけれど小アトリエでない」ということは本当でない fact19: 何かは通い詰めるとすればそれは上れないかあるいは懺悔しないか両方ともである ; $hypothesis$ = あの化学増幅レジストは繁殖し易いかあるいは成就致す ; $proof$ = 
void -> assump1: 以下のように仮定する。あの化学増幅レジストは繁殖し易いということはない; fact10 & assump1 -> int1: あの移動キャラは小アトリエであるしかつ付す; int1 -> int2: あの移動キャラは小アトリエである; int2 & fact17 -> int3: 「その自己査定は上れるということはないしおまけに小アトリエでない」ということは誤りだ; fact4 -> int4: もし仮に「その自己査定は上れないし小アトリエだということはない」ということは確かでないなら懺悔しない; int3 & int4 -> int5: その自己査定は懺悔しない; fact11 -> int6: 何かは通い詰めるしおまけに危険物だ; int6 & fact1 -> int7: 「その自己査定は懺悔する」ということは確かである; int5 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: あの化学増幅レジストは繁殖し易い; int9 -> hypothesis; __PROVED__
事実1: もし仮になにがしかのものが通い詰めるしさらに危険物ならばあの自己査定は懺悔する
事実2: もし仮にあの化学増幅レジストが危険物であるということはないならばあの両班は通い詰めるししかもそれは繁殖し易い
事実3: その草山反別は繁殖し易いし人民公園だ
事実4: もし仮に「「なにがしかの物は上れないし小アトリエでない」ということは本当である」ということは偽であるとすると懺悔しない
事実5: もしも「上れるしそれに付す」ものはあるとすれば「あの移動キャラは成就致す」ということは真実だ
事実6: 仮にあるものは懺悔しないとすると「それは繁殖し易いかもしくはそれは成就致すかもしくは両方ともだ」ということは成り立たない
事実7: もし仮に何らかの物が主観表現でないならそれは通い詰めるしおまけにそれは危険物である
事実8: あの移動キャラは仲裁する
事実9: 「小アトリエだしそれに付す」物はある
事実10: もし仮に「あの化学増幅レジストは繁殖し易くない」ということは成り立つなら「あの移動キャラは小アトリエであるし更に付す」ということは真実である
事実11: あの両班は通い詰めるし危険物だ
事実12: もしもなにがしかの物は懺悔するということはないがしかし繁殖し易いとしたら「それは危険物だ」ということは成り立つ
事実13: あらゆる物は上れるということはないかまたはそれは通い詰めるということはないかもしくは両方である
事実14: もしもその自己査定は小アトリエだとすると「あの化学増幅レジストは繁殖し易いということはなくて小アトリエでない」ということは成り立たない
事実15: もし仮にある物が上れるということはないか通い詰めないか両方ともであるとしたらそれは上れない
事実16: あの移動キャラは付す
事実17: 仮にあの移動キャラは小アトリエであるとすれば「その自己査定は上れないしそれに小アトリエであるということはない」ということは成り立たない
事実18: 「あの両班は通い詰めるけれど小アトリエでない」ということは本当でない
事実19: 何かは通い詰めるとすればそれは上れないかあるいは懺悔しないか両方ともである

仮説: あの化学増幅レジストは繁殖し易いかあるいは成就致す
1. 仮定1: 以下のように仮定する。あの化学増幅レジストは繁殖し易いということはない
2. 事実10と仮定1から、推論1: "あの移動キャラは小アトリエであるしかつ付す"が導かれる
3. 推論1から、推論2: "あの移動キャラは小アトリエである"が導かれる
4. 推論2と事実17から、推論3: "「その自己査定は上れるということはないしおまけに小アトリエでない」ということは誤りだ"が導かれる
5. 事実4から、推論4: "もし仮に「その自己査定は上れないし小アトリエだということはない」ということは確かでないなら懺悔しない"が導かれる
6. 推論3と推論4から、推論5: "その自己査定は懺悔しない"が導かれる
7. 事実11から、推論6: "何かは通い詰めるしおまけに危険物だ"が導かれる
8. 推論6と事実1から、推論7: "「その自己査定は懺悔する」ということは確かである"が導かれる
9. 推論5と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、推論9: "あの化学増幅レジストは繁殖し易い"が導かれる
11. 推論9から、仮説が導かれる

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