「あのリキャップは全力投球出来ない」ということは真実である
fact1: もしもそのトランペットがみっとも可愛いとすればあのリキャップはみっとも可愛い fact2: もし赤黒い物がみっとも可愛くないとすればそれは全力投球出来る fact3: 「あのリキャップはコーナー連結するということはない一方で掛ける」ということは成り立たない fact4: そのトランペットはみっとも可愛い fact5: 仮に赤黒いものがみっとも可愛いならば全力投球出来ない fact6: もしも「「あのリキャップはコーナー連結しない一方で掛ける」ということは間違っている」ということは成り立てばそれは赤黒い
fact6 & fact3 -> int1: あのリキャップは赤黒い; fact1 & fact4 -> int2: あのリキャップはみっとも可愛い; int1 & int2 -> int3: あのリキャップは赤黒いし加えてみっとも可愛い; fact5 -> int4: もし仮にあのリキャップは赤黒くてみっとも可愛いならば「それは全力投球出来る」ということは誤っている; int3 & int4 -> hypothesis;
あのリキャップは全力投球出来る
fact7 -> int5: もしあのリキャップが赤黒いけどみっとも可愛くないとすればそれは全力投球出来る;
$facts$ = fact1: もしもそのトランペットがみっとも可愛いとすればあのリキャップはみっとも可愛い fact2: もし赤黒い物がみっとも可愛くないとすればそれは全力投球出来る fact3: 「あのリキャップはコーナー連結するということはない一方で掛ける」ということは成り立たない fact4: そのトランペットはみっとも可愛い fact5: 仮に赤黒いものがみっとも可愛いならば全力投球出来ない fact6: もしも「「あのリキャップはコーナー連結しない一方で掛ける」ということは間違っている」ということは成り立てばそれは赤黒い ; $hypothesis$ = 「あのリキャップは全力投球出来ない」ということは真実である ; $proof$ = 
fact6 & fact3 -> int1: あのリキャップは赤黒い; fact1 & fact4 -> int2: あのリキャップはみっとも可愛い; int1 & int2 -> int3: あのリキャップは赤黒いし加えてみっとも可愛い; fact5 -> int4: もし仮にあのリキャップは赤黒くてみっとも可愛いならば「それは全力投球出来る」ということは誤っている; int3 & int4 -> hypothesis; __PROVED__
事実1: もしもそのトランペットがみっとも可愛いとすればあのリキャップはみっとも可愛い
事実2: もし赤黒い物がみっとも可愛くないとすればそれは全力投球出来る
事実3: 「あのリキャップはコーナー連結するということはない一方で掛ける」ということは成り立たない
事実4: そのトランペットはみっとも可愛い
事実5: 仮に赤黒いものがみっとも可愛いならば全力投球出来ない
事実6: もしも「「あのリキャップはコーナー連結しない一方で掛ける」ということは間違っている」ということは成り立てばそれは赤黒い

仮説: 「あのリキャップは全力投球出来ない」ということは真実である
1. 事実6と事実3から、推論1: "あのリキャップは赤黒い"が導かれる
2. 事実1と事実4から、推論2: "あのリキャップはみっとも可愛い"が導かれる
3. 推論1と推論2から、推論3: "あのリキャップは赤黒いし加えてみっとも可愛い"が導かれる
4. 事実5から、推論4: "もし仮にあのリキャップは赤黒くてみっとも可愛いならば「それは全力投球出来る」ということは誤っている"が導かれる
5. 推論3と推論4から、仮説が導かれる

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