そのＴＭＳは集中し始めない
fact1: その一Ｌは鳥籠であるということはない fact2: そのＴＭＳは振り撒く fact3: 仮に何らかのものが振り撒かないとしたら集中し始めるしおまけに鳥籠だ fact4: そのＴＭＳは鳥籠である fact5: 鳥籠が振り撒くとしたらそれは集中し始めるということはない
fact4 & fact2 -> int1: そのＴＭＳは鳥籠であるし振り撒く; fact5 -> int2: もし仮にそのＴＭＳが鳥籠だし振り撒けば集中し始めない; int1 & int2 -> hypothesis;
fact4 & fact2 -> int1: ({A}{a} & {B}{a}); fact5 -> int2: ({A}{a} & {B}{a}) -> ¬{C}{a}; int1 & int2 -> hypothesis;
そのＴＭＳは集中し始める
fact6 -> int3: 「もしもそのＴＭＳが振り撒かないとしたらそのＴＭＳは集中し始めるし鳥籠である」ということは事実だ;
$facts$ = fact1: その一Ｌは鳥籠であるということはない fact2: そのＴＭＳは振り撒く fact3: 仮に何らかのものが振り撒かないとしたら集中し始めるしおまけに鳥籠だ fact4: そのＴＭＳは鳥籠である fact5: 鳥籠が振り撒くとしたらそれは集中し始めるということはない ; $hypothesis$ = そのＴＭＳは集中し始めない ; $proof$ = 
fact4 & fact2 -> int1: そのＴＭＳは鳥籠であるし振り撒く; fact5 -> int2: もし仮にそのＴＭＳが鳥籠だし振り撒けば集中し始めない; int1 & int2 -> hypothesis; __PROVED__
事実1: その一Ｌは鳥籠であるということはない
事実2: そのＴＭＳは振り撒く
事実3: 仮に何らかのものが振り撒かないとしたら集中し始めるしおまけに鳥籠だ
事実4: そのＴＭＳは鳥籠である
事実5: 鳥籠が振り撒くとしたらそれは集中し始めるということはない

仮説: そのＴＭＳは集中し始めない
1. 事実4と事実2から、推論1: "そのＴＭＳは鳥籠であるし振り撒く"が導かれる
2. 事実5から、推論2: "もし仮にそのＴＭＳが鳥籠だし振り撒けば集中し始めない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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