「この保存期間後はバーテンであるしその上消化出来る」ということは成り立つ
fact1: もしもあの有罪判決は配当所得であるとしたら「この保存期間後はバーテンである」ということは本当である fact2: この保存期間後が消化出来るしその上それは雄々しい fact3: あの有罪判決は区別し易くないけれど在来技術だ fact4: 雄々しい物は在来技術でないけど配当所得である fact5: このＣＩＷＡ‐ＡＲは立ち退かす fact6: 「在来技術は配当所得である」ということは正しい fact7: もし仮になんらかのものが立ち退かすとすると雄々しい
fact3 -> int1: あの有罪判決は在来技術である; fact6 -> int2: もしあの有罪判決が在来技術だとするとそれは配当所得だ; int1 & int2 -> int3: 「あの有罪判決は配当所得だ」ということは正しい; int3 & fact1 -> int4: この保存期間後はバーテンである; fact2 -> int5: この保存期間後は消化出来る; int4 & int5 -> hypothesis;
「この保存期間後はバーテンであるしその上消化出来る」ということは嘘だ
fact8 -> int6: 「もし仮にこのＣＩＷＡ‐ＡＲが雄々しいならばこのＣＩＷＡ‐ＡＲは在来技術でないけど配当所得である」ということは成り立つ; fact9 -> int7: もし仮にこのＣＩＷＡ‐ＡＲが立ち退かすとすると雄々しい; int7 & fact10 -> int8: このＣＩＷＡ‐ＡＲは雄々しい; int6 & int8 -> int9: 「このＣＩＷＡ‐ＡＲは在来技術だということはないがしかし配当所得である」ということは確かだ; int9 -> int10: 「在来技術であるということはないけれど配当所得である」ものはある;
$facts$ = fact1: もしもあの有罪判決は配当所得であるとしたら「この保存期間後はバーテンである」ということは本当である fact2: この保存期間後が消化出来るしその上それは雄々しい fact3: あの有罪判決は区別し易くないけれど在来技術だ fact4: 雄々しい物は在来技術でないけど配当所得である fact5: このＣＩＷＡ‐ＡＲは立ち退かす fact6: 「在来技術は配当所得である」ということは正しい fact7: もし仮になんらかのものが立ち退かすとすると雄々しい ; $hypothesis$ = 「この保存期間後はバーテンであるしその上消化出来る」ということは成り立つ ; $proof$ = 
fact3 -> int1: あの有罪判決は在来技術である; fact6 -> int2: もしあの有罪判決が在来技術だとするとそれは配当所得だ; int1 & int2 -> int3: 「あの有罪判決は配当所得だ」ということは正しい; int3 & fact1 -> int4: この保存期間後はバーテンである; fact2 -> int5: この保存期間後は消化出来る; int4 & int5 -> hypothesis; __PROVED__
事実1: もしもあの有罪判決は配当所得であるとしたら「この保存期間後はバーテンである」ということは本当である
事実2: この保存期間後が消化出来るしその上それは雄々しい
事実3: あの有罪判決は区別し易くないけれど在来技術だ
事実4: 雄々しい物は在来技術でないけど配当所得である
事実5: このＣＩＷＡ‐ＡＲは立ち退かす
事実6: 「在来技術は配当所得である」ということは正しい
事実7: もし仮になんらかのものが立ち退かすとすると雄々しい

仮説: 「この保存期間後はバーテンであるしその上消化出来る」ということは成り立つ
1. 事実3から、推論1: "あの有罪判決は在来技術である"が導かれる
2. 事実6から、推論2: "もしあの有罪判決が在来技術だとするとそれは配当所得だ"が導かれる
3. 推論1と推論2から、推論3: "「あの有罪判決は配当所得だ」ということは正しい"が導かれる
4. 推論3と事実1から、推論4: "この保存期間後はバーテンである"が導かれる
5. 事実2から、推論5: "この保存期間後は消化出来る"が導かれる
6. 推論4と推論5から、仮説が導かれる

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