「あの開始位置は薄暗くてかつ被用者年金である」ということは偽である
fact1: この次打はアナリストであるしそれに自然史博物館である fact2: この次打はアナリストだ fact3: とあるものが押し捲らないならそれがアナリストだし更にそれは薄暗い fact4: もしそのシェアードが自然史博物館でなくてそれは被用者年金でないとすれば「薄暗い」ということは誤りだ fact5: もし仮にこの次打は薄暗くないとしたら「あの開始位置は薄暗くて被用者年金だ」ということは事実でない fact6: 仮になにかはアナリストでないとすればそれは自然史博物館でないししかも被用者年金でない fact7: もしも「なにかは自然史博物館である」ということは成り立つなら薄暗くない
fact7 -> int1: 仮にこの次打は自然史博物館ならば「それは薄暗くない」ということは成り立つ; fact1 -> int2: この次打は自然史博物館だ; int1 & int2 -> int3: この次打は薄暗くない; int3 & fact5 -> hypothesis;
あの開始位置が薄暗いしその上それは被用者年金だ
fact8 -> int4: もしもあの開始位置は押し捲らないなら「アナリストで加えてそれは薄暗い」ということは確かである;
$facts$ = fact1: この次打はアナリストであるしそれに自然史博物館である fact2: この次打はアナリストだ fact3: とあるものが押し捲らないならそれがアナリストだし更にそれは薄暗い fact4: もしそのシェアードが自然史博物館でなくてそれは被用者年金でないとすれば「薄暗い」ということは誤りだ fact5: もし仮にこの次打は薄暗くないとしたら「あの開始位置は薄暗くて被用者年金だ」ということは事実でない fact6: 仮になにかはアナリストでないとすればそれは自然史博物館でないししかも被用者年金でない fact7: もしも「なにかは自然史博物館である」ということは成り立つなら薄暗くない ; $hypothesis$ = 「あの開始位置は薄暗くてかつ被用者年金である」ということは偽である ; $proof$ = 
fact7 -> int1: 仮にこの次打は自然史博物館ならば「それは薄暗くない」ということは成り立つ; fact1 -> int2: この次打は自然史博物館だ; int1 & int2 -> int3: この次打は薄暗くない; int3 & fact5 -> hypothesis; __PROVED__
事実1: この次打はアナリストであるしそれに自然史博物館である
事実2: この次打はアナリストだ
事実3: とあるものが押し捲らないならそれがアナリストだし更にそれは薄暗い
事実4: もしそのシェアードが自然史博物館でなくてそれは被用者年金でないとすれば「薄暗い」ということは誤りだ
事実5: もし仮にこの次打は薄暗くないとしたら「あの開始位置は薄暗くて被用者年金だ」ということは事実でない
事実6: 仮になにかはアナリストでないとすればそれは自然史博物館でないししかも被用者年金でない
事実7: もしも「なにかは自然史博物館である」ということは成り立つなら薄暗くない

仮説: 「あの開始位置は薄暗くてかつ被用者年金である」ということは偽である
1. 事実7から、推論1: "仮にこの次打は自然史博物館ならば「それは薄暗くない」ということは成り立つ"が導かれる
2. 事実1から、推論2: "この次打は自然史博物館だ"が導かれる
3. 推論1と推論2から、推論3: "この次打は薄暗くない"が導かれる
4. 推論3と事実5から、仮説が導かれる

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