「もし「ブランドらしいし更に赤黒いということはない」ということは嘘であるとすると絶対する」ものはある
fact1: 仮に「あの法規制はブランドらしい一方でそれは赤黒くない」ということは間違っているとしたら絶対する fact2: 「もし犯罪心理学だがしかし特記しないなら鍔する」ものはある fact3: もしもあの法規制が赤黒いとすれば絶対する fact4: 仮に「なにかはスクであるけれど入手し易くない」ということは間違っているとすると「それはサービスする」ということは確かだ fact5: もし「あの法規制はブランドらしい一方で赤黒くない」ということは成り立てば「絶対する」ということは正しい fact6: 「もし仮に赤黒いとしたら絶対する」物はある fact7: 「仮に「ブランドらしいししかも赤黒い」ということは事実と異なるなら絶対する」ものはある fact8: 「もしもブランドらしくないとすれば「絶対する」ということは成り立つ」ものはある
fact1 -> hypothesis;
「仮に「スクで更に入手し易くない」ということは誤りであるとすればサービスする」物はある
fact9 -> int1: もしも「この未成熟はスクであるがしかし入手し易くない」ということは成り立たないとすればサービスする; int1 -> hypothesis;
$facts$ = fact1: 仮に「あの法規制はブランドらしい一方でそれは赤黒くない」ということは間違っているとしたら絶対する fact2: 「もし犯罪心理学だがしかし特記しないなら鍔する」ものはある fact3: もしもあの法規制が赤黒いとすれば絶対する fact4: 仮に「なにかはスクであるけれど入手し易くない」ということは間違っているとすると「それはサービスする」ということは確かだ fact5: もし「あの法規制はブランドらしい一方で赤黒くない」ということは成り立てば「絶対する」ということは正しい fact6: 「もし仮に赤黒いとしたら絶対する」物はある fact7: 「仮に「ブランドらしいししかも赤黒い」ということは事実と異なるなら絶対する」ものはある fact8: 「もしもブランドらしくないとすれば「絶対する」ということは成り立つ」ものはある ; $hypothesis$ = 「もし「ブランドらしいし更に赤黒いということはない」ということは嘘であるとすると絶対する」ものはある ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: 仮に「あの法規制はブランドらしい一方でそれは赤黒くない」ということは間違っているとしたら絶対する
事実2: 「もし犯罪心理学だがしかし特記しないなら鍔する」ものはある
事実3: もしもあの法規制が赤黒いとすれば絶対する
事実4: 仮に「なにかはスクであるけれど入手し易くない」ということは間違っているとすると「それはサービスする」ということは確かだ
事実5: もし「あの法規制はブランドらしい一方で赤黒くない」ということは成り立てば「絶対する」ということは正しい
事実6: 「もし仮に赤黒いとしたら絶対する」物はある
事実7: 「仮に「ブランドらしいししかも赤黒い」ということは事実と異なるなら絶対する」ものはある
事実8: 「もしもブランドらしくないとすれば「絶対する」ということは成り立つ」ものはある

仮説: 「もし「ブランドらしいし更に赤黒いということはない」ということは嘘であるとすると絶対する」ものはある
1. 事実1から、仮説が導かれる

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