「あのベーは青し」ということは成り立つ
fact1: あるものが脱却するしその上麻薬常傭者なら青しない fact2: もし仮にあの一箇月分が脱却すればそれは棚である fact3: あの一箇月分は麻薬常傭者でない fact4: もし仮に「あの一箇月分は棚だ」ということは成り立つならあのベーは青し fact5: あの一箇月分は貿易する fact6: 「あの一箇月分は青し」ということは正しいとするとあのベーは棚だ fact7: あの一箇月分が麻薬常傭者でないとすればそれは脱却する
fact7 & fact3 -> int1: あの一箇月分は脱却する; int1 & fact2 -> int2: あの一箇月分は棚だ; int2 & fact4 -> hypothesis;
fact7 & fact3 -> int1: {B}{a}; int1 & fact2 -> int2: {C}{a}; int2 & fact4 -> hypothesis;
あのベーは青しない
fact8 -> int3: もし仮にあのベーが脱却するししかもそれは麻薬常傭者であるならばそれは青しない;
$facts$ = fact1: あるものが脱却するしその上麻薬常傭者なら青しない fact2: もし仮にあの一箇月分が脱却すればそれは棚である fact3: あの一箇月分は麻薬常傭者でない fact4: もし仮に「あの一箇月分は棚だ」ということは成り立つならあのベーは青し fact5: あの一箇月分は貿易する fact6: 「あの一箇月分は青し」ということは正しいとするとあのベーは棚だ fact7: あの一箇月分が麻薬常傭者でないとすればそれは脱却する ; $hypothesis$ = 「あのベーは青し」ということは成り立つ ; $proof$ = 
fact7 & fact3 -> int1: あの一箇月分は脱却する; int1 & fact2 -> int2: あの一箇月分は棚だ; int2 & fact4 -> hypothesis; __PROVED__
事実1: あるものが脱却するしその上麻薬常傭者なら青しない
事実2: もし仮にあの一箇月分が脱却すればそれは棚である
事実3: あの一箇月分は麻薬常傭者でない
事実4: もし仮に「あの一箇月分は棚だ」ということは成り立つならあのベーは青し
事実5: あの一箇月分は貿易する
事実6: 「あの一箇月分は青し」ということは正しいとするとあのベーは棚だ
事実7: あの一箇月分が麻薬常傭者でないとすればそれは脱却する

仮説: 「あのベーは青し」ということは成り立つ
1. 事実7と事実3から、推論1: "あの一箇月分は脱却する"が導かれる
2. 推論1と事実2から、推論2: "あの一箇月分は棚だ"が導かれる
3. 推論2と事実4から、仮説が導かれる

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