「その胸壁開放性気胸は運用資産であるけれど事業会社でない」ということは誤っている
fact1: 変わり易いものが君らしいとすると司令部でない fact2: もしも「この頃は事業会社である」ということは成り立つならばあの貨幣地代は捏ねる fact3: あの貨幣地代は君らしい fact4: もしこのサウジアラビア政府が重なるとしたらあの貨幣地代は司令部だ fact5: もし仮に何らかのものがステアリングレスポンスだとしたら変わり易い fact6: もし仮にこの頃は事業会社でないならば「その胸壁開放性気胸は運用資産だがしかし事業会社でない」ということは成り立たない fact7: もし仮になんらかのものが捏ねるということはないならばそれは運用資産だが事業会社でない fact8: もしあの貨幣地代が捏ねるとするとそれはステアリングレスポンスだ fact9: このサウジアラビア政府は忘れ難くない一方で傷付け易い fact10: もし仮にこのサウジアラビア政府が忘れ難くないけどそれは傷付け易いならば「それは重なる」ということは偽でない
void -> assump1: 以下のように仮定する。この頃は事業会社だ; fact2 & assump1 -> int1: あの貨幣地代は捏ねる; int1 & fact8 -> int2: あの貨幣地代はステアリングレスポンスである; fact5 -> int3: もしもあの貨幣地代はステアリングレスポンスであるとしたら変わり易い; int2 & int3 -> int4: あの貨幣地代は変わり易い; int4 & fact3 -> int5: あの貨幣地代は変わり易いしかつそれは君らしい; fact1 -> int6: あの貨幣地代が変わり易いしさらにそれが君らしいならそれは司令部でない; int5 & int6 -> int7: あの貨幣地代は司令部でない; fact10 & fact9 -> int8: このサウジアラビア政府は重なる; fact4 & int8 -> int9: あの貨幣地代は司令部だ; int7 & int9 -> int10: これは矛盾である; [assump1] & int10 -> int11: 「この頃は事業会社だということはない」ということは本当だ; int11 & fact6 -> hypothesis;
その胸壁開放性気胸は運用資産であるがしかし事業会社でない
fact11 -> int12: 仮に「その胸壁開放性気胸は捏ねない」ということは本当であるとするとそれが運用資産だし事業会社でない;
$facts$ = fact1: 変わり易いものが君らしいとすると司令部でない fact2: もしも「この頃は事業会社である」ということは成り立つならばあの貨幣地代は捏ねる fact3: あの貨幣地代は君らしい fact4: もしこのサウジアラビア政府が重なるとしたらあの貨幣地代は司令部だ fact5: もし仮に何らかのものがステアリングレスポンスだとしたら変わり易い fact6: もし仮にこの頃は事業会社でないならば「その胸壁開放性気胸は運用資産だがしかし事業会社でない」ということは成り立たない fact7: もし仮になんらかのものが捏ねるということはないならばそれは運用資産だが事業会社でない fact8: もしあの貨幣地代が捏ねるとするとそれはステアリングレスポンスだ fact9: このサウジアラビア政府は忘れ難くない一方で傷付け易い fact10: もし仮にこのサウジアラビア政府が忘れ難くないけどそれは傷付け易いならば「それは重なる」ということは偽でない ; $hypothesis$ = 「その胸壁開放性気胸は運用資産であるけれど事業会社でない」ということは誤っている ; $proof$ = 
void -> assump1: 以下のように仮定する。この頃は事業会社だ; fact2 & assump1 -> int1: あの貨幣地代は捏ねる; int1 & fact8 -> int2: あの貨幣地代はステアリングレスポンスである; fact5 -> int3: もしもあの貨幣地代はステアリングレスポンスであるとしたら変わり易い; int2 & int3 -> int4: あの貨幣地代は変わり易い; int4 & fact3 -> int5: あの貨幣地代は変わり易いしかつそれは君らしい; fact1 -> int6: あの貨幣地代が変わり易いしさらにそれが君らしいならそれは司令部でない; int5 & int6 -> int7: あの貨幣地代は司令部でない; fact10 & fact9 -> int8: このサウジアラビア政府は重なる; fact4 & int8 -> int9: あの貨幣地代は司令部だ; int7 & int9 -> int10: これは矛盾である; [assump1] & int10 -> int11: 「この頃は事業会社だということはない」ということは本当だ; int11 & fact6 -> hypothesis; __PROVED__
事実1: 変わり易いものが君らしいとすると司令部でない
事実2: もしも「この頃は事業会社である」ということは成り立つならばあの貨幣地代は捏ねる
事実3: あの貨幣地代は君らしい
事実4: もしこのサウジアラビア政府が重なるとしたらあの貨幣地代は司令部だ
事実5: もし仮に何らかのものがステアリングレスポンスだとしたら変わり易い
事実6: もし仮にこの頃は事業会社でないならば「その胸壁開放性気胸は運用資産だがしかし事業会社でない」ということは成り立たない
事実7: もし仮になんらかのものが捏ねるということはないならばそれは運用資産だが事業会社でない
事実8: もしあの貨幣地代が捏ねるとするとそれはステアリングレスポンスだ
事実9: このサウジアラビア政府は忘れ難くない一方で傷付け易い
事実10: もし仮にこのサウジアラビア政府が忘れ難くないけどそれは傷付け易いならば「それは重なる」ということは偽でない

仮説: 「その胸壁開放性気胸は運用資産であるけれど事業会社でない」ということは誤っている
1. 仮定1: 以下のように仮定する。この頃は事業会社だ
2. 事実2と仮定1から、推論1: "あの貨幣地代は捏ねる"が導かれる
3. 推論1と事実8から、推論2: "あの貨幣地代はステアリングレスポンスである"が導かれる
4. 事実5から、推論3: "もしもあの貨幣地代はステアリングレスポンスであるとしたら変わり易い"が導かれる
5. 推論2と推論3から、推論4: "あの貨幣地代は変わり易い"が導かれる
6. 推論4と事実3から、推論5: "あの貨幣地代は変わり易いしかつそれは君らしい"が導かれる
7. 事実1から、推論6: "あの貨幣地代が変わり易いしさらにそれが君らしいならそれは司令部でない"が導かれる
8. 推論5と推論6から、推論7: "あの貨幣地代は司令部でない"が導かれる
9. 事実10と事実9から、推論8: "このサウジアラビア政府は重なる"が導かれる
10. 事実4と推論8から、推論9: "あの貨幣地代は司令部だ"が導かれる
11. 推論7と推論9から、推論10: "これは矛盾である"が導かれる
12. [仮定1]と推論10から、推論11: "「この頃は事業会社だということはない」ということは本当だ"が導かれる
13. 推論11と事実6から、仮説が導かれる

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