「あの脳部位は華々しいけど崩れ落ちるということはない」ということは成り立たない
fact1: 「そのＳＩＴは艶無し仕上げだしそれに傾城禁短気だ」ということは成り立つということはない fact2: その資格・特典は華々しくない fact3: 「あの脳部位は華々しいしさらに傾城禁短気だ」ということは間違っている fact4: なにがしかの物は華々しくないならば「それは現わるし加えてそれは長ったらしい」ということは誤っている fact5: 「その国連組織は済ま無いがしかし泳ぎ出すということはない」ということは誤りだ fact6: もし「「そのＳＩＴは艶無し仕上げであるしおまけにそれは傾城禁短気である」ということは誤りだ」ということは成り立つなら現わらない fact7: そのＳＩＴが艶無し仕上げでないとすればそれは現わらない fact8: もしとあるものはヌクレオチドでないとすると「それは騙され易くないかもしくは主観表現でないかどちらもだ」ということは本当でない fact9: もし仮にとあるものは偽らないとすると「それが両社だしそれはヌクレオチドである」ということは事実と異なる fact10: もしそのＳＩＴは現わらないとすると「あの脳部位は華々しくておまけに崩れ落ちる」ということは成り立たない fact11: もしそのＳＩＴは現わらないとすれば「あの脳部位は華々しい一方で崩れ落ちない」ということは成り立たない fact12: もし仮に「なにかは騙され易くないかもしくは主観表現だということはないかもしくは両方ともである」ということは成り立たないとしたらそれは現わらない fact13: もしも「そのＳＩＴは両社であるしヌクレオチドである」ということは真実でないならばあの脳部位はヌクレオチドであるということはない fact14: もしそのＳＩＴは騙され易くないなら「崩れ落ちるということはないけど華々しい」ということは誤りだ fact15: 「あの脳部位は現わらない」ということは成り立つ fact16: 「あの脳部位は華々しいしそれに崩れ落ちる」ということは成り立たない fact17: 全ての物は偽らない fact18: 「あの太陽電池は南下するけどそれは疑わしいということはない」ということは誤っている
fact6 & fact1 -> int1: そのＳＩＴは現わるということはない; int1 & fact11 -> hypothesis;
「あの脳部位は現わるしさらに長ったらしい」ということは偽だ
fact20 -> int2: 仮にあの脳部位は華々しくないならば「それは現わるしかつそれは長ったらしい」ということは成り立たない;
$facts$ = fact1: 「そのＳＩＴは艶無し仕上げだしそれに傾城禁短気だ」ということは成り立つということはない fact2: その資格・特典は華々しくない fact3: 「あの脳部位は華々しいしさらに傾城禁短気だ」ということは間違っている fact4: なにがしかの物は華々しくないならば「それは現わるし加えてそれは長ったらしい」ということは誤っている fact5: 「その国連組織は済ま無いがしかし泳ぎ出すということはない」ということは誤りだ fact6: もし「「そのＳＩＴは艶無し仕上げであるしおまけにそれは傾城禁短気である」ということは誤りだ」ということは成り立つなら現わらない fact7: そのＳＩＴが艶無し仕上げでないとすればそれは現わらない fact8: もしとあるものはヌクレオチドでないとすると「それは騙され易くないかもしくは主観表現でないかどちらもだ」ということは本当でない fact9: もし仮にとあるものは偽らないとすると「それが両社だしそれはヌクレオチドである」ということは事実と異なる fact10: もしそのＳＩＴは現わらないとすると「あの脳部位は華々しくておまけに崩れ落ちる」ということは成り立たない fact11: もしそのＳＩＴは現わらないとすれば「あの脳部位は華々しい一方で崩れ落ちない」ということは成り立たない fact12: もし仮に「なにかは騙され易くないかもしくは主観表現だということはないかもしくは両方ともである」ということは成り立たないとしたらそれは現わらない fact13: もしも「そのＳＩＴは両社であるしヌクレオチドである」ということは真実でないならばあの脳部位はヌクレオチドであるということはない fact14: もしそのＳＩＴは騙され易くないなら「崩れ落ちるということはないけど華々しい」ということは誤りだ fact15: 「あの脳部位は現わらない」ということは成り立つ fact16: 「あの脳部位は華々しいしそれに崩れ落ちる」ということは成り立たない fact17: 全ての物は偽らない fact18: 「あの太陽電池は南下するけどそれは疑わしいということはない」ということは誤っている ; $hypothesis$ = 「あの脳部位は華々しいけど崩れ落ちるということはない」ということは成り立たない ; $proof$ = 
fact6 & fact1 -> int1: そのＳＩＴは現わるということはない; int1 & fact11 -> hypothesis; __PROVED__
事実1: 「そのＳＩＴは艶無し仕上げだしそれに傾城禁短気だ」ということは成り立つということはない
事実2: その資格・特典は華々しくない
事実3: 「あの脳部位は華々しいしさらに傾城禁短気だ」ということは間違っている
事実4: なにがしかの物は華々しくないならば「それは現わるし加えてそれは長ったらしい」ということは誤っている
事実5: 「その国連組織は済ま無いがしかし泳ぎ出すということはない」ということは誤りだ
事実6: もし「「そのＳＩＴは艶無し仕上げであるしおまけにそれは傾城禁短気である」ということは誤りだ」ということは成り立つなら現わらない
事実7: そのＳＩＴが艶無し仕上げでないとすればそれは現わらない
事実8: もしとあるものはヌクレオチドでないとすると「それは騙され易くないかもしくは主観表現でないかどちらもだ」ということは本当でない
事実9: もし仮にとあるものは偽らないとすると「それが両社だしそれはヌクレオチドである」ということは事実と異なる
事実10: もしそのＳＩＴは現わらないとすると「あの脳部位は華々しくておまけに崩れ落ちる」ということは成り立たない
事実11: もしそのＳＩＴは現わらないとすれば「あの脳部位は華々しい一方で崩れ落ちない」ということは成り立たない
事実12: もし仮に「なにかは騙され易くないかもしくは主観表現だということはないかもしくは両方ともである」ということは成り立たないとしたらそれは現わらない
事実13: もしも「そのＳＩＴは両社であるしヌクレオチドである」ということは真実でないならばあの脳部位はヌクレオチドであるということはない
事実14: もしそのＳＩＴは騙され易くないなら「崩れ落ちるということはないけど華々しい」ということは誤りだ
事実15: 「あの脳部位は現わらない」ということは成り立つ
事実16: 「あの脳部位は華々しいしそれに崩れ落ちる」ということは成り立たない
事実17: 全ての物は偽らない
事実18: 「あの太陽電池は南下するけどそれは疑わしいということはない」ということは誤っている

仮説: 「あの脳部位は華々しいけど崩れ落ちるということはない」ということは成り立たない
1. 事実6と事実1から、推論1: "そのＳＩＴは現わるということはない"が導かれる
2. 推論1と事実11から、仮説が導かれる

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