この決勝トーナメントは生易しいということはない
fact1: もしもそのピックが溜め込み易いとするとこの決勝トーナメントは生易しい fact2: 仮に「「抜粋でなくて新米でない」ということは成り立たない」ものがあるとするとあの初め頃は光り輝くということはない fact3: もし仮にあの初め頃が光り輝かないとしたらそのピックは溜め込み易くて光り輝く fact4: もし「なにがしかのものは光り輝かなくておまけに溜め込み易くない」ということは成り立たないとするとそれは生易しいということはない fact5: 「あの編者は抜粋でなくて新米でない」ということは成り立たない
fact5 -> int1: 「「抜粋でなくて新米でない」ということは本当でない」ものはある; int1 & fact2 -> int2: あの初め頃は光り輝かない; int2 & fact3 -> int3: そのピックは溜め込み易くて更に光り輝く; int3 -> int4: そのピックは溜め込み易い; int4 & fact1 -> hypothesis;
この決勝トーナメントは生易しいということはない
fact6 -> int5: もし「この決勝トーナメントは光り輝かないし溜め込み易くない」ということは嘘であるならば生易しくない;
$facts$ = fact1: もしもそのピックが溜め込み易いとするとこの決勝トーナメントは生易しい fact2: 仮に「「抜粋でなくて新米でない」ということは成り立たない」ものがあるとするとあの初め頃は光り輝くということはない fact3: もし仮にあの初め頃が光り輝かないとしたらそのピックは溜め込み易くて光り輝く fact4: もし「なにがしかのものは光り輝かなくておまけに溜め込み易くない」ということは成り立たないとするとそれは生易しいということはない fact5: 「あの編者は抜粋でなくて新米でない」ということは成り立たない ; $hypothesis$ = この決勝トーナメントは生易しいということはない ; $proof$ = 
fact5 -> int1: 「「抜粋でなくて新米でない」ということは本当でない」ものはある; int1 & fact2 -> int2: あの初め頃は光り輝かない; int2 & fact3 -> int3: そのピックは溜め込み易くて更に光り輝く; int3 -> int4: そのピックは溜め込み易い; int4 & fact1 -> hypothesis; __DISPROVED__
事実1: もしもそのピックが溜め込み易いとするとこの決勝トーナメントは生易しい
事実2: 仮に「「抜粋でなくて新米でない」ということは成り立たない」ものがあるとするとあの初め頃は光り輝くということはない
事実3: もし仮にあの初め頃が光り輝かないとしたらそのピックは溜め込み易くて光り輝く
事実4: もし「なにがしかのものは光り輝かなくておまけに溜め込み易くない」ということは成り立たないとするとそれは生易しいということはない
事実5: 「あの編者は抜粋でなくて新米でない」ということは成り立たない

仮説: この決勝トーナメントは生易しいということはない
1. 事実5から、推論1: "「「抜粋でなくて新米でない」ということは本当でない」ものはある"が導かれる
2. 推論1と事実2から、推論2: "あの初め頃は光り輝かない"が導かれる
3. 推論2と事実3から、推論3: "そのピックは溜め込み易くて更に光り輝く"が導かれる
4. 推論3から、推論4: "そのピックは溜め込み易い"が導かれる
5. 推論4と事実1から、仮説が否定される

よって、仮説が否定されました。