「この尖頭屋根は触れ掛けない」ということは真実である
fact1: この尖頭屋根は触れ掛けるかもしくはそれはフロラだ fact2: 仮になにかは調べ直さないなら触れ掛ける fact3: もしも何らかのものは調べ直すということはないとすると「それは吊り易くないけど触れ掛ける」ということは嘘だ fact4: 仮に「その六千人は輝かしいかまたはそれは算入しない」ということは間違っているなら「調べ直すということはない」ということは事実だ fact5: このバーテックスシェーダは調べ直す fact6: もしもなにがしかのものは調べ直すか放り出すとしたら触れ掛けない fact7: もしこの聖史劇が輝かしいならこのタリバン政権は調べ直さないかまたはそれは放り出しないかもしくは両方だ fact8: あの肉芽組織は自動更新するかあるいはそれはストロークするかまたはどちらもだ fact9: もし仮にこの聖史劇が痛いということはないとすれば輝かしいし算入する fact10: この尖頭屋根は調べ直す fact11: その六千人は痛くないとすると「それは輝かしいか算入しない」ということは間違いだ fact12: もしも「なんらかのものは吊り易くないけれど触れ掛ける」ということは間違っているとすれば吊り易い fact13: もしもなにかは放り出すなら触れ掛けない
fact10 -> int1: この尖頭屋根は調べ直すかまたはそれは放り出す; fact6 -> int2: もしこの尖頭屋根が調べ直すか放り出すとするとそれは触れ掛けない; int1 & int2 -> hypothesis;
その六千人は吊り易いかあるいは放り出すかあるいは両方だ
fact14 -> int3: もし「その六千人は吊り易くないけど触れ掛ける」ということは嘘であるとすると吊り易い; fact17 -> int4: その六千人は調べ直さないならば「吊り易くないしそれは触れ掛ける」ということは誤っている;
$facts$ = fact1: この尖頭屋根は触れ掛けるかもしくはそれはフロラだ fact2: 仮になにかは調べ直さないなら触れ掛ける fact3: もしも何らかのものは調べ直すということはないとすると「それは吊り易くないけど触れ掛ける」ということは嘘だ fact4: 仮に「その六千人は輝かしいかまたはそれは算入しない」ということは間違っているなら「調べ直すということはない」ということは事実だ fact5: このバーテックスシェーダは調べ直す fact6: もしもなにがしかのものは調べ直すか放り出すとしたら触れ掛けない fact7: もしこの聖史劇が輝かしいならこのタリバン政権は調べ直さないかまたはそれは放り出しないかもしくは両方だ fact8: あの肉芽組織は自動更新するかあるいはそれはストロークするかまたはどちらもだ fact9: もし仮にこの聖史劇が痛いということはないとすれば輝かしいし算入する fact10: この尖頭屋根は調べ直す fact11: その六千人は痛くないとすると「それは輝かしいか算入しない」ということは間違いだ fact12: もしも「なんらかのものは吊り易くないけれど触れ掛ける」ということは間違っているとすれば吊り易い fact13: もしもなにかは放り出すなら触れ掛けない ; $hypothesis$ = 「この尖頭屋根は触れ掛けない」ということは真実である ; $proof$ = 
fact10 -> int1: この尖頭屋根は調べ直すかまたはそれは放り出す; fact6 -> int2: もしこの尖頭屋根が調べ直すか放り出すとするとそれは触れ掛けない; int1 & int2 -> hypothesis; __PROVED__
事実1: この尖頭屋根は触れ掛けるかもしくはそれはフロラだ
事実2: 仮になにかは調べ直さないなら触れ掛ける
事実3: もしも何らかのものは調べ直すということはないとすると「それは吊り易くないけど触れ掛ける」ということは嘘だ
事実4: 仮に「その六千人は輝かしいかまたはそれは算入しない」ということは間違っているなら「調べ直すということはない」ということは事実だ
事実5: このバーテックスシェーダは調べ直す
事実6: もしもなにがしかのものは調べ直すか放り出すとしたら触れ掛けない
事実7: もしこの聖史劇が輝かしいならこのタリバン政権は調べ直さないかまたはそれは放り出しないかもしくは両方だ
事実8: あの肉芽組織は自動更新するかあるいはそれはストロークするかまたはどちらもだ
事実9: もし仮にこの聖史劇が痛いということはないとすれば輝かしいし算入する
事実10: この尖頭屋根は調べ直す
事実11: その六千人は痛くないとすると「それは輝かしいか算入しない」ということは間違いだ
事実12: もしも「なんらかのものは吊り易くないけれど触れ掛ける」ということは間違っているとすれば吊り易い
事実13: もしもなにかは放り出すなら触れ掛けない

仮説: 「この尖頭屋根は触れ掛けない」ということは真実である
1. 事実10から、推論1: "この尖頭屋根は調べ直すかまたはそれは放り出す"が導かれる
2. 事実6から、推論2: "もしこの尖頭屋根が調べ直すか放り出すとするとそれは触れ掛けない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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