その戦勝国は脱色する
fact1: この薬物選択は築城するが律動性でない fact2: もしもこの薬物選択が練習しないとしたらそれは奮起しない fact3: もし仮にこの薬物選択は築城するがしかし律動性でないならばそれは幼けなくない fact4: もしあの七十八年改正法が親族等ならその戦勝国は脱色する fact5: もしもこの薬物選択が奮起しないしさらにそれが幼けなくないならばあの七十八年改正法は親族等だ fact6: この薬物選択は練習しない
fact2 & fact6 -> int1: この薬物選択は奮起しない; fact3 & fact1 -> int2: この薬物選択は幼けなくない; int1 & int2 -> int3: この薬物選択は奮起しなくてそれに幼けなくない; int3 & fact5 -> int4: 「あの七十八年改正法は親族等である」ということは成り立つ; int4 & fact4 -> hypothesis;
$facts$ = fact1: この薬物選択は築城するが律動性でない fact2: もしもこの薬物選択が練習しないとしたらそれは奮起しない fact3: もし仮にこの薬物選択は築城するがしかし律動性でないならばそれは幼けなくない fact4: もしあの七十八年改正法が親族等ならその戦勝国は脱色する fact5: もしもこの薬物選択が奮起しないしさらにそれが幼けなくないならばあの七十八年改正法は親族等だ fact6: この薬物選択は練習しない ; $hypothesis$ = その戦勝国は脱色する ; $proof$ = 
fact2 & fact6 -> int1: この薬物選択は奮起しない; fact3 & fact1 -> int2: この薬物選択は幼けなくない; int1 & int2 -> int3: この薬物選択は奮起しなくてそれに幼けなくない; int3 & fact5 -> int4: 「あの七十八年改正法は親族等である」ということは成り立つ; int4 & fact4 -> hypothesis; __PROVED__
事実1: この薬物選択は築城するが律動性でない
事実2: もしもこの薬物選択が練習しないとしたらそれは奮起しない
事実3: もし仮にこの薬物選択は築城するがしかし律動性でないならばそれは幼けなくない
事実4: もしあの七十八年改正法が親族等ならその戦勝国は脱色する
事実5: もしもこの薬物選択が奮起しないしさらにそれが幼けなくないならばあの七十八年改正法は親族等だ
事実6: この薬物選択は練習しない

仮説: その戦勝国は脱色する
1. 事実2と事実6から、推論1: "この薬物選択は奮起しない"が導かれる
2. 事実3と事実1から、推論2: "この薬物選択は幼けなくない"が導かれる
3. 推論1と推論2から、推論3: "この薬物選択は奮起しなくてそれに幼けなくない"が導かれる
4. 推論3と事実5から、推論4: "「あの七十八年改正法は親族等である」ということは成り立つ"が導かれる
5. 推論4と事実4から、仮説が導かれる

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