もし仮にその林業経営がギガ炉であるとしたらその設立者・寄付者は非政治性だ
fact1: もしその林業経営が予言するとしたらあのサンシックは統計解析だ fact2: もしもその林業経営がギガ炉だとするとそれは現像する fact3: もしも「あのサンシックは見習う」ということは事実であるとすると「その設立者・寄付者は非政治性である」ということは確かである fact4: もしもなにがしかの物が現像するとするとそれは予言する fact5: 統計解析は疑い始める fact6: もしとあるものは疑い始めるとすると「見習う」ということは確かだ
void -> assump1: 以下のように仮定する。その林業経営はギガ炉である; fact2 & assump1 -> int1: その林業経営は現像する; fact4 -> int2: もし仮にその林業経営が現像するとしたら予言する; int1 & int2 -> int3: その林業経営は予言する; int3 & fact1 -> int4: あのサンシックは統計解析である; fact5 -> int5: 仮にあのサンシックが統計解析ならばそれは疑い始める; int4 & int5 -> int6: あのサンシックは疑い始める; fact6 -> int7: あのサンシックが疑い始めるならそれは見習う; int6 & int7 -> int8: あのサンシックは見習う; int8 & fact3 -> int9: その設立者・寄付者は非政治性である; [assump1] & int9 -> hypothesis;
$facts$ = fact1: もしその林業経営が予言するとしたらあのサンシックは統計解析だ fact2: もしもその林業経営がギガ炉だとするとそれは現像する fact3: もしも「あのサンシックは見習う」ということは事実であるとすると「その設立者・寄付者は非政治性である」ということは確かである fact4: もしもなにがしかの物が現像するとするとそれは予言する fact5: 統計解析は疑い始める fact6: もしとあるものは疑い始めるとすると「見習う」ということは確かだ ; $hypothesis$ = もし仮にその林業経営がギガ炉であるとしたらその設立者・寄付者は非政治性だ ; $proof$ = 
void -> assump1: 以下のように仮定する。その林業経営はギガ炉である; fact2 & assump1 -> int1: その林業経営は現像する; fact4 -> int2: もし仮にその林業経営が現像するとしたら予言する; int1 & int2 -> int3: その林業経営は予言する; int3 & fact1 -> int4: あのサンシックは統計解析である; fact5 -> int5: 仮にあのサンシックが統計解析ならばそれは疑い始める; int4 & int5 -> int6: あのサンシックは疑い始める; fact6 -> int7: あのサンシックが疑い始めるならそれは見習う; int6 & int7 -> int8: あのサンシックは見習う; int8 & fact3 -> int9: その設立者・寄付者は非政治性である; [assump1] & int9 -> hypothesis; __PROVED__
事実1: もしその林業経営が予言するとしたらあのサンシックは統計解析だ
事実2: もしもその林業経営がギガ炉だとするとそれは現像する
事実3: もしも「あのサンシックは見習う」ということは事実であるとすると「その設立者・寄付者は非政治性である」ということは確かである
事実4: もしもなにがしかの物が現像するとするとそれは予言する
事実5: 統計解析は疑い始める
事実6: もしとあるものは疑い始めるとすると「見習う」ということは確かだ

仮説: もし仮にその林業経営がギガ炉であるとしたらその設立者・寄付者は非政治性だ
1. 仮定1: 以下のように仮定する。その林業経営はギガ炉である
2. 事実2と仮定1から、推論1: "その林業経営は現像する"が導かれる
3. 事実4から、推論2: "もし仮にその林業経営が現像するとしたら予言する"が導かれる
4. 推論1と推論2から、推論3: "その林業経営は予言する"が導かれる
5. 推論3と事実1から、推論4: "あのサンシックは統計解析である"が導かれる
6. 事実5から、推論5: "仮にあのサンシックが統計解析ならばそれは疑い始める"が導かれる
7. 推論4と推論5から、推論6: "あのサンシックは疑い始める"が導かれる
8. 事実6から、推論7: "あのサンシックが疑い始めるならそれは見習う"が導かれる
9. 推論6と推論7から、推論8: "あのサンシックは見習う"が導かれる
10. 推論8と事実3から、推論9: "その設立者・寄付者は非政治性である"が導かれる
11. [仮定1]と推論9から、仮説が導かれる

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