「あの資本主義体制下は蔵置するけれど御止め為さらない」ということは本当でない
fact1: もしも「なにかは纏でない一方でそれは御止め為さる」ということは成り立たないとしたらそれは割り勘であるということはない fact2: あのＧＣＳＢ本部は意見概要である fact3: 「あの資本主義体制下は蔵置するしおまけに御止め為さる」ということは成り立たない fact4: 仮に「あるものは翻意しないけど意見概要だ」ということは間違っているとしたら翻意する fact5: もし仮にあのＧＣＳＢ本部は割り勘でないとすれば「翻意しなくて更に意見概要である」ということは偽だ fact6: もし仮にあのＧＣＳＢ本部は割り勘だとしたら「あの資本主義体制下は蔵置するけどそれは御止め為さらない」ということは間違っている fact7: あのＧＣＳＢ本部が意見概要ならば割り勘である fact8: 仮に「あのＧＣＳＢ本部は割り勘である」ということは正しいなら「あの資本主義体制下は蔵置するし御止め為さる」ということは間違っている fact9: もしあの資本主義体制下は割り勘であるとしたら御止め為さる fact10: 「あの資本主義体制下は切ないがそれは興奮し易くない」ということは嘘だ fact11: あのＧＣＳＢ本部は蔵置する
fact7 & fact2 -> int1: あのＧＣＳＢ本部は割り勘である; int1 & fact6 -> hypothesis;
fact7 & fact2 -> int1: {B}{a}; int1 & fact6 -> hypothesis;
「あのスーパーコンピュータは蔵置するが翻意しない」ということは誤りだ
fact14 -> int2: 仮に「あのＧＣＳＢ本部は翻意しないけれど意見概要である」ということは成り立たないとすればそれは翻意する; fact13 -> int3: もし仮に「あのＧＣＳＢ本部は纏でない一方でそれは御止め為さる」ということは成り立たないならば割り勘でない;
$facts$ = fact1: もしも「なにかは纏でない一方でそれは御止め為さる」ということは成り立たないとしたらそれは割り勘であるということはない fact2: あのＧＣＳＢ本部は意見概要である fact3: 「あの資本主義体制下は蔵置するしおまけに御止め為さる」ということは成り立たない fact4: 仮に「あるものは翻意しないけど意見概要だ」ということは間違っているとしたら翻意する fact5: もし仮にあのＧＣＳＢ本部は割り勘でないとすれば「翻意しなくて更に意見概要である」ということは偽だ fact6: もし仮にあのＧＣＳＢ本部は割り勘だとしたら「あの資本主義体制下は蔵置するけどそれは御止め為さらない」ということは間違っている fact7: あのＧＣＳＢ本部が意見概要ならば割り勘である fact8: 仮に「あのＧＣＳＢ本部は割り勘である」ということは正しいなら「あの資本主義体制下は蔵置するし御止め為さる」ということは間違っている fact9: もしあの資本主義体制下は割り勘であるとしたら御止め為さる fact10: 「あの資本主義体制下は切ないがそれは興奮し易くない」ということは嘘だ fact11: あのＧＣＳＢ本部は蔵置する ; $hypothesis$ = 「あの資本主義体制下は蔵置するけれど御止め為さらない」ということは本当でない ; $proof$ = 
fact7 & fact2 -> int1: あのＧＣＳＢ本部は割り勘である; int1 & fact6 -> hypothesis; __PROVED__
事実1: もしも「なにかは纏でない一方でそれは御止め為さる」ということは成り立たないとしたらそれは割り勘であるということはない
事実2: あのＧＣＳＢ本部は意見概要である
事実3: 「あの資本主義体制下は蔵置するしおまけに御止め為さる」ということは成り立たない
事実4: 仮に「あるものは翻意しないけど意見概要だ」ということは間違っているとしたら翻意する
事実5: もし仮にあのＧＣＳＢ本部は割り勘でないとすれば「翻意しなくて更に意見概要である」ということは偽だ
事実6: もし仮にあのＧＣＳＢ本部は割り勘だとしたら「あの資本主義体制下は蔵置するけどそれは御止め為さらない」ということは間違っている
事実7: あのＧＣＳＢ本部が意見概要ならば割り勘である
事実8: 仮に「あのＧＣＳＢ本部は割り勘である」ということは正しいなら「あの資本主義体制下は蔵置するし御止め為さる」ということは間違っている
事実9: もしあの資本主義体制下は割り勘であるとしたら御止め為さる
事実10: 「あの資本主義体制下は切ないがそれは興奮し易くない」ということは嘘だ
事実11: あのＧＣＳＢ本部は蔵置する

仮説: 「あの資本主義体制下は蔵置するけれど御止め為さらない」ということは本当でない
1. 事実7と事実2から、推論1: "あのＧＣＳＢ本部は割り勘である"が導かれる
2. 推論1と事実6から、仮説が導かれる

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