その当選番号は運営管理しない
fact1: もし「何らかのものは仰け反るかギブアップしないかあるいは両方である」ということは間違っているとすると「それは運営管理しない」ということは成り立つ fact2: もし仮に「あの個人蔵は輝かしい一方でガンマニアでない」ということは偽であるなら「その当選番号は腹立たしくらない」ということは成り立つ fact3: なにがしかの物は腹立たしくらないとすれば「それは仰け反るかもしくはギブアップするということはない」ということは嘘だ fact4: 「あの個人蔵は輝かしいがガンマニアでない」ということは間違っている
fact2 & fact4 -> int1: その当選番号は腹立たしくらない; fact3 -> int2: もしその当選番号は腹立たしくらないとすれば「それは仰け反るかギブアップしないか両方ともだ」ということは正しくない; int1 & int2 -> int3: 「その当選番号は仰け反るかまたはギブアップしないかもしくは両方だ」ということは成り立つということはない; fact1 -> int4: もし仮に「その当選番号は仰け反るかまたはそれはギブアップしないかもしくは両方である」ということは成り立たないならば運営管理するということはない; int3 & int4 -> hypothesis;
$facts$ = fact1: もし「何らかのものは仰け反るかギブアップしないかあるいは両方である」ということは間違っているとすると「それは運営管理しない」ということは成り立つ fact2: もし仮に「あの個人蔵は輝かしい一方でガンマニアでない」ということは偽であるなら「その当選番号は腹立たしくらない」ということは成り立つ fact3: なにがしかの物は腹立たしくらないとすれば「それは仰け反るかもしくはギブアップするということはない」ということは嘘だ fact4: 「あの個人蔵は輝かしいがガンマニアでない」ということは間違っている ; $hypothesis$ = その当選番号は運営管理しない ; $proof$ = 
fact2 & fact4 -> int1: その当選番号は腹立たしくらない; fact3 -> int2: もしその当選番号は腹立たしくらないとすれば「それは仰け反るかギブアップしないか両方ともだ」ということは正しくない; int1 & int2 -> int3: 「その当選番号は仰け反るかまたはギブアップしないかもしくは両方だ」ということは成り立つということはない; fact1 -> int4: もし仮に「その当選番号は仰け反るかまたはそれはギブアップしないかもしくは両方である」ということは成り立たないならば運営管理するということはない; int3 & int4 -> hypothesis; __PROVED__
事実1: もし「何らかのものは仰け反るかギブアップしないかあるいは両方である」ということは間違っているとすると「それは運営管理しない」ということは成り立つ
事実2: もし仮に「あの個人蔵は輝かしい一方でガンマニアでない」ということは偽であるなら「その当選番号は腹立たしくらない」ということは成り立つ
事実3: なにがしかの物は腹立たしくらないとすれば「それは仰け反るかもしくはギブアップするということはない」ということは嘘だ
事実4: 「あの個人蔵は輝かしいがガンマニアでない」ということは間違っている

仮説: その当選番号は運営管理しない
1. 事実2と事実4から、推論1: "その当選番号は腹立たしくらない"が導かれる
2. 事実3から、推論2: "もしその当選番号は腹立たしくらないとすれば「それは仰け反るかギブアップしないか両方ともだ」ということは正しくない"が導かれる
3. 推論1と推論2から、推論3: "「その当選番号は仰け反るかまたはギブアップしないかもしくは両方だ」ということは成り立つということはない"が導かれる
4. 事実1から、推論4: "もし仮に「その当選番号は仰け反るかまたはそれはギブアップしないかもしくは両方である」ということは成り立たないならば運営管理するということはない"が導かれる
5. 推論3と推論4から、仮説が導かれる

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