この所有・支配は球筋でしかもそれは取り消し得
fact1: もし仮にそのオッズ比が応酬しなくて示し易くないとしたらそのソーシャル・パッケージは急性肺炎であるということはない fact2: もしあの除名が狭苦しいとすればこの所有・支配は借り上げる fact3: この来日公演が狂おしくなくて更にアプローチし易くないならばあの除名は狭苦しくない fact4: 「もしもそのソーシャル・パッケージが滑り易いとしたらあの除名は狭苦しい」ということは成り立つ fact5: そのオッズ比は応酬しなくて示し易くない fact6: 仮に「破けないししかも改姓しない」物があるとするとこの来日公演はアプローチし易くない fact7: なにかは破けないしかつ改姓しない fact8: もしこの来日公演がアプローチし易くないとするとこの所有・支配は球筋であるしさらに御与えに成る fact9: この来日公演は滑り易くない fact10: 仮にそのソーシャル・パッケージが狂おしいとしたらあの除名は狭苦しい fact11: なんらかの物が借り上げるとすれば取り消し得 fact12: そのオッズ比はアプローチし易くない fact13: もし仮にとあるものは急性肺炎でないとしたら狂おしいかまたは滑り易い fact14: 仮にそのソーシャル・パッケージが示し易いということはないしそれに狂おしくないとすればこの所有・支配は御与えに成らない fact15: もしなんらかの物が破けないがしかし改姓するとすればこの来日公演はアプローチし易くない fact16: 仮に何かは狂おしくないなら「それは球筋であるし更に取り消し得」ということは成り立たない
fact1 & fact5 -> int1: そのソーシャル・パッケージは急性肺炎でない; fact13 -> int2: もしそのソーシャル・パッケージは急性肺炎でないとするとそれは狂おしいか滑り易い; int1 & int2 -> int3: 「そのソーシャル・パッケージは狂おしいかまたは滑り易いか両方ともである」ということは事実である; int3 & fact10 & fact4 -> int4: あの除名は狭苦しい; int4 & fact2 -> int5: この所有・支配は借り上げる; fact11 -> int6: この所有・支配は借り上げるとすれば「それは取り消し得」ということは確かである; int5 & int6 -> int7: この所有・支配は取り消し得; fact7 & fact6 -> int8: 「この来日公演はアプローチし易くない」ということは本当である; fact8 & int8 -> int9: この所有・支配が球筋だしかつそれは御与えに成る; int9 -> int10: この所有・支配は球筋だ; int7 & int10 -> hypothesis;
「この所有・支配は球筋であるし取り消し得」ということは事実と異なる
fact17 -> int11: もし仮にこの所有・支配は狂おしくないなら「球筋だしかつ取り消し得」ということは成り立たない;
$facts$ = fact1: もし仮にそのオッズ比が応酬しなくて示し易くないとしたらそのソーシャル・パッケージは急性肺炎であるということはない fact2: もしあの除名が狭苦しいとすればこの所有・支配は借り上げる fact3: この来日公演が狂おしくなくて更にアプローチし易くないならばあの除名は狭苦しくない fact4: 「もしもそのソーシャル・パッケージが滑り易いとしたらあの除名は狭苦しい」ということは成り立つ fact5: そのオッズ比は応酬しなくて示し易くない fact6: 仮に「破けないししかも改姓しない」物があるとするとこの来日公演はアプローチし易くない fact7: なにかは破けないしかつ改姓しない fact8: もしこの来日公演がアプローチし易くないとするとこの所有・支配は球筋であるしさらに御与えに成る fact9: この来日公演は滑り易くない fact10: 仮にそのソーシャル・パッケージが狂おしいとしたらあの除名は狭苦しい fact11: なんらかの物が借り上げるとすれば取り消し得 fact12: そのオッズ比はアプローチし易くない fact13: もし仮にとあるものは急性肺炎でないとしたら狂おしいかまたは滑り易い fact14: 仮にそのソーシャル・パッケージが示し易いということはないしそれに狂おしくないとすればこの所有・支配は御与えに成らない fact15: もしなんらかの物が破けないがしかし改姓するとすればこの来日公演はアプローチし易くない fact16: 仮に何かは狂おしくないなら「それは球筋であるし更に取り消し得」ということは成り立たない ; $hypothesis$ = この所有・支配は球筋でしかもそれは取り消し得 ; $proof$ = 
fact1 & fact5 -> int1: そのソーシャル・パッケージは急性肺炎でない; fact13 -> int2: もしそのソーシャル・パッケージは急性肺炎でないとするとそれは狂おしいか滑り易い; int1 & int2 -> int3: 「そのソーシャル・パッケージは狂おしいかまたは滑り易いか両方ともである」ということは事実である; int3 & fact10 & fact4 -> int4: あの除名は狭苦しい; int4 & fact2 -> int5: この所有・支配は借り上げる; fact11 -> int6: この所有・支配は借り上げるとすれば「それは取り消し得」ということは確かである; int5 & int6 -> int7: この所有・支配は取り消し得; fact7 & fact6 -> int8: 「この来日公演はアプローチし易くない」ということは本当である; fact8 & int8 -> int9: この所有・支配が球筋だしかつそれは御与えに成る; int9 -> int10: この所有・支配は球筋だ; int7 & int10 -> hypothesis; __PROVED__
事実1: もし仮にそのオッズ比が応酬しなくて示し易くないとしたらそのソーシャル・パッケージは急性肺炎であるということはない
事実2: もしあの除名が狭苦しいとすればこの所有・支配は借り上げる
事実3: この来日公演が狂おしくなくて更にアプローチし易くないならばあの除名は狭苦しくない
事実4: 「もしもそのソーシャル・パッケージが滑り易いとしたらあの除名は狭苦しい」ということは成り立つ
事実5: そのオッズ比は応酬しなくて示し易くない
事実6: 仮に「破けないししかも改姓しない」物があるとするとこの来日公演はアプローチし易くない
事実7: なにかは破けないしかつ改姓しない
事実8: もしこの来日公演がアプローチし易くないとするとこの所有・支配は球筋であるしさらに御与えに成る
事実9: この来日公演は滑り易くない
事実10: 仮にそのソーシャル・パッケージが狂おしいとしたらあの除名は狭苦しい
事実11: なんらかの物が借り上げるとすれば取り消し得
事実12: そのオッズ比はアプローチし易くない
事実13: もし仮にとあるものは急性肺炎でないとしたら狂おしいかまたは滑り易い
事実14: 仮にそのソーシャル・パッケージが示し易いということはないしそれに狂おしくないとすればこの所有・支配は御与えに成らない
事実15: もしなんらかの物が破けないがしかし改姓するとすればこの来日公演はアプローチし易くない
事実16: 仮に何かは狂おしくないなら「それは球筋であるし更に取り消し得」ということは成り立たない

仮説: この所有・支配は球筋でしかもそれは取り消し得
1. 事実1と事実5から、推論1: "そのソーシャル・パッケージは急性肺炎でない"が導かれる
2. 事実13から、推論2: "もしそのソーシャル・パッケージは急性肺炎でないとするとそれは狂おしいか滑り易い"が導かれる
3. 推論1と推論2から、推論3: "「そのソーシャル・パッケージは狂おしいかまたは滑り易いか両方ともである」ということは事実である"が導かれる
4. 推論3と事実10と事実4から、推論4: "あの除名は狭苦しい"が導かれる
5. 推論4と事実2から、推論5: "この所有・支配は借り上げる"が導かれる
6. 事実11から、推論6: "この所有・支配は借り上げるとすれば「それは取り消し得」ということは確かである"が導かれる
7. 推論5と推論6から、推論7: "この所有・支配は取り消し得"が導かれる
8. 事実7と事実6から、推論8: "「この来日公演はアプローチし易くない」ということは本当である"が導かれる
9. 事実8と推論8から、推論9: "この所有・支配が球筋だしかつそれは御与えに成る"が導かれる
10. 推論9から、推論10: "この所有・支配は球筋だ"が導かれる
11. 推論7と推論10から、仮説が導かれる

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