その親兄弟は御勧め出来る
fact1: もし仮にこの事業用が催促するかあるいは収縮するかあるいは両方であるとするとその春は血管外でない fact2: あの懇親会が冷え易くないとしたらその春はけばけばしいけれどそれは掴み取らない fact3: 「仮にその春がけばけばしいけれど掴み取らないとすると「この事業用はけばけばしくない」ということは事実である」ということは事実である fact4: 「この事業用は収縮する」ということは成り立てばその春は血管外でない fact5: 仮にその春が血管外でないならあの懇親会はけばけばしくないしまた血管外でない fact6: 仮にあの懇親会はけばけばしくないとすれば「その親兄弟は御勧め出来る」ということは真実だ fact7: もし仮にあの白Ｄが焼き込まないとしたらあの懇親会はオールラウンドでない一方で愛くるしい fact8: この事業用は血管外であるか催促するかもしくは両方だ fact9: もし仮に「何かはオールラウンドでない」ということは成り立つとすれば冷え易いということはない fact10: もしも「この事業用は御勧め出来ない」ということは成り立つなら「それは血管外でなくてそれは催促する」ということは嘘だ fact11: もし仮にこの事業用がけばけばしくないとするとその親兄弟は御勧め出来ないけど血管外だ fact12: 「この事業用は催促するかあるいは収縮するかもしくは両方である」ということは本当だ
fact1 & fact12 -> int1: その春は血管外であるということはない; int1 & fact5 -> int2: あの懇親会はけばけばしくなくてそれにそれは血管外でない; int2 -> int3: あの懇親会はけばけばしくない; int3 & fact6 -> hypothesis;
その親兄弟は御勧め出来ない
fact16 -> int4: もし仮にあの懇親会はオールラウンドでないとするとそれは冷え易くない;
$facts$ = fact1: もし仮にこの事業用が催促するかあるいは収縮するかあるいは両方であるとするとその春は血管外でない fact2: あの懇親会が冷え易くないとしたらその春はけばけばしいけれどそれは掴み取らない fact3: 「仮にその春がけばけばしいけれど掴み取らないとすると「この事業用はけばけばしくない」ということは事実である」ということは事実である fact4: 「この事業用は収縮する」ということは成り立てばその春は血管外でない fact5: 仮にその春が血管外でないならあの懇親会はけばけばしくないしまた血管外でない fact6: 仮にあの懇親会はけばけばしくないとすれば「その親兄弟は御勧め出来る」ということは真実だ fact7: もし仮にあの白Ｄが焼き込まないとしたらあの懇親会はオールラウンドでない一方で愛くるしい fact8: この事業用は血管外であるか催促するかもしくは両方だ fact9: もし仮に「何かはオールラウンドでない」ということは成り立つとすれば冷え易いということはない fact10: もしも「この事業用は御勧め出来ない」ということは成り立つなら「それは血管外でなくてそれは催促する」ということは嘘だ fact11: もし仮にこの事業用がけばけばしくないとするとその親兄弟は御勧め出来ないけど血管外だ fact12: 「この事業用は催促するかあるいは収縮するかもしくは両方である」ということは本当だ ; $hypothesis$ = その親兄弟は御勧め出来る ; $proof$ = 
fact1 & fact12 -> int1: その春は血管外であるということはない; int1 & fact5 -> int2: あの懇親会はけばけばしくなくてそれにそれは血管外でない; int2 -> int3: あの懇親会はけばけばしくない; int3 & fact6 -> hypothesis; __PROVED__
事実1: もし仮にこの事業用が催促するかあるいは収縮するかあるいは両方であるとするとその春は血管外でない
事実2: あの懇親会が冷え易くないとしたらその春はけばけばしいけれどそれは掴み取らない
事実3: 「仮にその春がけばけばしいけれど掴み取らないとすると「この事業用はけばけばしくない」ということは事実である」ということは事実である
事実4: 「この事業用は収縮する」ということは成り立てばその春は血管外でない
事実5: 仮にその春が血管外でないならあの懇親会はけばけばしくないしまた血管外でない
事実6: 仮にあの懇親会はけばけばしくないとすれば「その親兄弟は御勧め出来る」ということは真実だ
事実7: もし仮にあの白Ｄが焼き込まないとしたらあの懇親会はオールラウンドでない一方で愛くるしい
事実8: この事業用は血管外であるか催促するかもしくは両方だ
事実9: もし仮に「何かはオールラウンドでない」ということは成り立つとすれば冷え易いということはない
事実10: もしも「この事業用は御勧め出来ない」ということは成り立つなら「それは血管外でなくてそれは催促する」ということは嘘だ
事実11: もし仮にこの事業用がけばけばしくないとするとその親兄弟は御勧め出来ないけど血管外だ
事実12: 「この事業用は催促するかあるいは収縮するかもしくは両方である」ということは本当だ

仮説: その親兄弟は御勧め出来る
1. 事実1と事実12から、推論1: "その春は血管外であるということはない"が導かれる
2. 推論1と事実5から、推論2: "あの懇親会はけばけばしくなくてそれにそれは血管外でない"が導かれる
3. 推論2から、推論3: "あの懇親会はけばけばしくない"が導かれる
4. 推論3と事実6から、仮説が導かれる

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