「「「ファイナルでその上暴れ出す」ということは偽な」ものはある」ということは成り立つ
fact1: その外出着は錯誤無効でない fact2: この御写真は対応し切れる fact3: もしその外出着が上がり続けるとしたら忘れ易い fact4: もし仮に「その外出着は趾間だということはない」ということは正しいとすると「その十回以上はファイナルであるしまた暴れ出す」ということは成り立つということはない fact5: 「ファイナルだしかつ上がり続ける」物はある fact6: もしもこの御写真が対応し切れればその外出着は上がり続ける fact7: 仮に「その十回以上は暴れ出す」ということは真実であるとしたら対応し切れる fact8: あの園芸家は対応し切れる fact9: もしなにがしかのものは錯誤無効でないがしかし忘れ易いならばそれは趾間だということはない
fact6 & fact2 -> int1: 「その外出着は上がり続ける」ということは本当である; int1 & fact3 -> int2: その外出着は忘れ易い; int2 & fact1 -> int3: その外出着は錯誤無効だということはないけど忘れ易い; fact9 -> int4: もし仮にその外出着が錯誤無効でないがしかし忘れ易いとすると「それは趾間でない」ということは成り立つ; int3 & int4 -> int5: その外出着は趾間でない; int5 & fact4 -> int6: 「その十回以上はファイナルであるししかも暴れ出す」ということは偽である; int6 -> hypothesis;
$facts$ = fact1: その外出着は錯誤無効でない fact2: この御写真は対応し切れる fact3: もしその外出着が上がり続けるとしたら忘れ易い fact4: もし仮に「その外出着は趾間だということはない」ということは正しいとすると「その十回以上はファイナルであるしまた暴れ出す」ということは成り立つということはない fact5: 「ファイナルだしかつ上がり続ける」物はある fact6: もしもこの御写真が対応し切れればその外出着は上がり続ける fact7: 仮に「その十回以上は暴れ出す」ということは真実であるとしたら対応し切れる fact8: あの園芸家は対応し切れる fact9: もしなにがしかのものは錯誤無効でないがしかし忘れ易いならばそれは趾間だということはない ; $hypothesis$ = 「「「ファイナルでその上暴れ出す」ということは偽な」ものはある」ということは成り立つ ; $proof$ = 
fact6 & fact2 -> int1: 「その外出着は上がり続ける」ということは本当である; int1 & fact3 -> int2: その外出着は忘れ易い; int2 & fact1 -> int3: その外出着は錯誤無効だということはないけど忘れ易い; fact9 -> int4: もし仮にその外出着が錯誤無効でないがしかし忘れ易いとすると「それは趾間でない」ということは成り立つ; int3 & int4 -> int5: その外出着は趾間でない; int5 & fact4 -> int6: 「その十回以上はファイナルであるししかも暴れ出す」ということは偽である; int6 -> hypothesis; __PROVED__
事実1: その外出着は錯誤無効でない
事実2: この御写真は対応し切れる
事実3: もしその外出着が上がり続けるとしたら忘れ易い
事実4: もし仮に「その外出着は趾間だということはない」ということは正しいとすると「その十回以上はファイナルであるしまた暴れ出す」ということは成り立つということはない
事実5: 「ファイナルだしかつ上がり続ける」物はある
事実6: もしもこの御写真が対応し切れればその外出着は上がり続ける
事実7: 仮に「その十回以上は暴れ出す」ということは真実であるとしたら対応し切れる
事実8: あの園芸家は対応し切れる
事実9: もしなにがしかのものは錯誤無効でないがしかし忘れ易いならばそれは趾間だということはない

仮説: 「「「ファイナルでその上暴れ出す」ということは偽な」ものはある」ということは成り立つ
1. 事実6と事実2から、推論1: "「その外出着は上がり続ける」ということは本当である"が導かれる
2. 推論1と事実3から、推論2: "その外出着は忘れ易い"が導かれる
3. 推論2と事実1から、推論3: "その外出着は錯誤無効だということはないけど忘れ易い"が導かれる
4. 事実9から、推論4: "もし仮にその外出着が錯誤無効でないがしかし忘れ易いとすると「それは趾間でない」ということは成り立つ"が導かれる
5. 推論3と推論4から、推論5: "その外出着は趾間でない"が導かれる
6. 推論5と事実4から、推論6: "「その十回以上はファイナルであるししかも暴れ出す」ということは偽である"が導かれる
7. 推論6から、仮説が導かれる

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