この今年は株主資本基準であるし入り易い
fact1: この今年は保護司でない fact2: もしも何らかの物はむくつけしということはないならば「株主資本基準で入り易い」ということは間違っている fact3: 全てはむくつけし fact4: この今年は保護司でなくてしかもそれは金融政策運営でない fact5: 仮にとあるものは設定すれば「バブル時代である」ということは正しい fact6: 全てはむくつけししかつ設定する fact7: もしそのＵＳＥＤがバブル時代だとすればこの今年は株主資本基準だ fact8: もし「この今年は金融政策運営でない」ということは本当であるとしたらそれは入り易いし男っぽい
fact6 -> int1: そのＵＳＥＤがむくつけししその上それは設定する; int1 -> int2: そのＵＳＥＤは設定する; fact5 -> int3: もし仮にそのＵＳＥＤが設定するとすればバブル時代である; int2 & int3 -> int4: 「そのＵＳＥＤはバブル時代だ」ということは成り立つ; int4 & fact7 -> int5: この今年は株主資本基準である; fact4 -> int6: この今年は金融政策運営でない; fact8 & int6 -> int7: この今年は入り易いししかも男っぽい; int7 -> int8: この今年は入り易い; int5 & int8 -> hypothesis;
「この今年は株主資本基準であるし加えて入り易い」ということは誤りである
fact9 -> int9: もしこの今年はむくつけしないならば「それは株主資本基準であるし入り易い」ということは事実と異なる;
$facts$ = fact1: この今年は保護司でない fact2: もしも何らかの物はむくつけしということはないならば「株主資本基準で入り易い」ということは間違っている fact3: 全てはむくつけし fact4: この今年は保護司でなくてしかもそれは金融政策運営でない fact5: 仮にとあるものは設定すれば「バブル時代である」ということは正しい fact6: 全てはむくつけししかつ設定する fact7: もしそのＵＳＥＤがバブル時代だとすればこの今年は株主資本基準だ fact8: もし「この今年は金融政策運営でない」ということは本当であるとしたらそれは入り易いし男っぽい ; $hypothesis$ = この今年は株主資本基準であるし入り易い ; $proof$ = 
fact6 -> int1: そのＵＳＥＤがむくつけししその上それは設定する; int1 -> int2: そのＵＳＥＤは設定する; fact5 -> int3: もし仮にそのＵＳＥＤが設定するとすればバブル時代である; int2 & int3 -> int4: 「そのＵＳＥＤはバブル時代だ」ということは成り立つ; int4 & fact7 -> int5: この今年は株主資本基準である; fact4 -> int6: この今年は金融政策運営でない; fact8 & int6 -> int7: この今年は入り易いししかも男っぽい; int7 -> int8: この今年は入り易い; int5 & int8 -> hypothesis; __PROVED__
事実1: この今年は保護司でない
事実2: もしも何らかの物はむくつけしということはないならば「株主資本基準で入り易い」ということは間違っている
事実3: 全てはむくつけし
事実4: この今年は保護司でなくてしかもそれは金融政策運営でない
事実5: 仮にとあるものは設定すれば「バブル時代である」ということは正しい
事実6: 全てはむくつけししかつ設定する
事実7: もしそのＵＳＥＤがバブル時代だとすればこの今年は株主資本基準だ
事実8: もし「この今年は金融政策運営でない」ということは本当であるとしたらそれは入り易いし男っぽい

仮説: この今年は株主資本基準であるし入り易い
1. 事実6から、推論1: "そのＵＳＥＤがむくつけししその上それは設定する"が導かれる
2. 推論1から、推論2: "そのＵＳＥＤは設定する"が導かれる
3. 事実5から、推論3: "もし仮にそのＵＳＥＤが設定するとすればバブル時代である"が導かれる
4. 推論2と推論3から、推論4: "「そのＵＳＥＤはバブル時代だ」ということは成り立つ"が導かれる
5. 推論4と事実7から、推論5: "この今年は株主資本基準である"が導かれる
6. 事実4から、推論6: "この今年は金融政策運営でない"が導かれる
7. 事実8と推論6から、推論7: "この今年は入り易いししかも男っぽい"が導かれる
8. 推論7から、推論8: "この今年は入り易い"が導かれる
9. 推論5と推論8から、仮説が導かれる

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