この少年部は長ったらしいし加えてアップリンクポートである
fact1: あの総合スーパーは平べったい fact2: 「「あの総合スーパーは如才無くない」ということは真実だ」ということは誤りである fact3: 「縁取りする」物はある fact4: この少年部は行動出来る fact5: あの総合スーパーは長ったらしい fact6: もしも「とある物は非決定性オートマトンであるし縁取りする」ということは誤っているとしたら非決定性オートマトンでない fact7: あの総合スーパーは公式クラスである fact8: あの総合スーパーは非決定性オートマトンだ fact9: もしもこの少年部が長ったらしくないなら縁取りする fact10: もしも「「組み立て部品でないが発明性である」ということは誤っている」ものはあるとすると「この少年部は縁取りしない」ということは正しい fact11: なにがしかのものは公式クラスである fact12: 「「組み立て部品であるということはなくて発明性である」ということは間違いな」物はある fact13: あの総合スーパーは出発出来るしその上手痛い fact14: 「「長ったらしい」ということは本当である」ものはある fact15: あのハットは縁取りしない fact16: もし仮に「アップリンクポートな」ものがあるとしたらあの総合スーパーは非決定性オートマトンであるし長ったらしい fact17: その赤身肉は開設出来るし長ったらしい fact18: 「「アップリンクポートでなくて非決定性オートマトンである」ということは嘘である」ものはある fact19: あの総合スーパーは分解され難くてそれは思し fact20: もし「「分解され難い」ということは嘘であるということはない」物があるとするとあの江戸名所図会は面白くない fact21: この少年部はカルバマゼピン血中濃度だ fact22: あの総合スーパーが長ったらしくないとするとそれは非決定性オートマトンだ fact23: もしもその高所恐怖症が参殿しないならばそれは麗々しい fact24: もし仮に「非決定性オートマトンな」物があればこの少年部はアップリンクポートであるししかもそれは公式クラスである
void -> assump1: 以下のように仮定する。この少年部は長ったらしくない; fact9 & assump1 -> int1: この少年部は縁取りする; fact12 & fact10 -> int2: この少年部は縁取りしない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この少年部は長ったらしい; fact8 -> int5: 「非決定性オートマトンな」物はある; fact24 & int5 -> int6: この少年部はアップリンクポートであるしまた公式クラスだ; int6 -> int7: この少年部はアップリンクポートである; int4 & int7 -> hypothesis;
この根担保は非決定性オートマトンでない
fact25 -> int8: 仮に「この根担保は非決定性オートマトンであるしそれに縁取りする」ということは事実と異なるとしたら「非決定性オートマトンでない」ということは真実である;
$facts$ = fact1: あの総合スーパーは平べったい fact2: 「「あの総合スーパーは如才無くない」ということは真実だ」ということは誤りである fact3: 「縁取りする」物はある fact4: この少年部は行動出来る fact5: あの総合スーパーは長ったらしい fact6: もしも「とある物は非決定性オートマトンであるし縁取りする」ということは誤っているとしたら非決定性オートマトンでない fact7: あの総合スーパーは公式クラスである fact8: あの総合スーパーは非決定性オートマトンだ fact9: もしもこの少年部が長ったらしくないなら縁取りする fact10: もしも「「組み立て部品でないが発明性である」ということは誤っている」ものはあるとすると「この少年部は縁取りしない」ということは正しい fact11: なにがしかのものは公式クラスである fact12: 「「組み立て部品であるということはなくて発明性である」ということは間違いな」物はある fact13: あの総合スーパーは出発出来るしその上手痛い fact14: 「「長ったらしい」ということは本当である」ものはある fact15: あのハットは縁取りしない fact16: もし仮に「アップリンクポートな」ものがあるとしたらあの総合スーパーは非決定性オートマトンであるし長ったらしい fact17: その赤身肉は開設出来るし長ったらしい fact18: 「「アップリンクポートでなくて非決定性オートマトンである」ということは嘘である」ものはある fact19: あの総合スーパーは分解され難くてそれは思し fact20: もし「「分解され難い」ということは嘘であるということはない」物があるとするとあの江戸名所図会は面白くない fact21: この少年部はカルバマゼピン血中濃度だ fact22: あの総合スーパーが長ったらしくないとするとそれは非決定性オートマトンだ fact23: もしもその高所恐怖症が参殿しないならばそれは麗々しい fact24: もし仮に「非決定性オートマトンな」物があればこの少年部はアップリンクポートであるししかもそれは公式クラスである ; $hypothesis$ = この少年部は長ったらしいし加えてアップリンクポートである ; $proof$ = 
void -> assump1: 以下のように仮定する。この少年部は長ったらしくない; fact9 & assump1 -> int1: この少年部は縁取りする; fact12 & fact10 -> int2: この少年部は縁取りしない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この少年部は長ったらしい; fact8 -> int5: 「非決定性オートマトンな」物はある; fact24 & int5 -> int6: この少年部はアップリンクポートであるしまた公式クラスだ; int6 -> int7: この少年部はアップリンクポートである; int4 & int7 -> hypothesis; __PROVED__
事実1: あの総合スーパーは平べったい
事実2: 「「あの総合スーパーは如才無くない」ということは真実だ」ということは誤りである
事実3: 「縁取りする」物はある
事実4: この少年部は行動出来る
事実5: あの総合スーパーは長ったらしい
事実6: もしも「とある物は非決定性オートマトンであるし縁取りする」ということは誤っているとしたら非決定性オートマトンでない
事実7: あの総合スーパーは公式クラスである
事実8: あの総合スーパーは非決定性オートマトンだ
事実9: もしもこの少年部が長ったらしくないなら縁取りする
事実10: もしも「「組み立て部品でないが発明性である」ということは誤っている」ものはあるとすると「この少年部は縁取りしない」ということは正しい
事実11: なにがしかのものは公式クラスである
事実12: 「「組み立て部品であるということはなくて発明性である」ということは間違いな」物はある
事実13: あの総合スーパーは出発出来るしその上手痛い
事実14: 「「長ったらしい」ということは本当である」ものはある
事実15: あのハットは縁取りしない
事実16: もし仮に「アップリンクポートな」ものがあるとしたらあの総合スーパーは非決定性オートマトンであるし長ったらしい
事実17: その赤身肉は開設出来るし長ったらしい
事実18: 「「アップリンクポートでなくて非決定性オートマトンである」ということは嘘である」ものはある
事実19: あの総合スーパーは分解され難くてそれは思し
事実20: もし「「分解され難い」ということは嘘であるということはない」物があるとするとあの江戸名所図会は面白くない
事実21: この少年部はカルバマゼピン血中濃度だ
事実22: あの総合スーパーが長ったらしくないとするとそれは非決定性オートマトンだ
事実23: もしもその高所恐怖症が参殿しないならばそれは麗々しい
事実24: もし仮に「非決定性オートマトンな」物があればこの少年部はアップリンクポートであるししかもそれは公式クラスである

仮説: この少年部は長ったらしいし加えてアップリンクポートである
1. 仮定1: 以下のように仮定する。この少年部は長ったらしくない
2. 事実9と仮定1から、推論1: "この少年部は縁取りする"が導かれる
3. 事実12と事実10から、推論2: "この少年部は縁取りしない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この少年部は長ったらしい"が導かれる
6. 事実8から、推論5: "「非決定性オートマトンな」物はある"が導かれる
7. 事実24と推論5から、推論6: "この少年部はアップリンクポートであるしまた公式クラスだ"が導かれる
8. 推論6から、推論7: "この少年部はアップリンクポートである"が導かれる
9. 推論4と推論7から、仮説が導かれる

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