あのプロゴルファーは馴染み難くない
fact1: あの低カルシウム血症は如此しということはない fact2: 仮に「追い付くしさらに分離し易い」ものがあるとすればその仮設トイレは転送形式でない fact3: もしもこの意図通りが追い付くならその電界は追い付く fact4: もし仮にこの意図通りが精液採取ならばその電界は追い付く fact5: この暗唱は経過・予後だ fact6: もしもあの低カルシウム血症は幽体離脱するということはないとすると「この塵芥は幽体離脱するか帝国主義である」ということは成り立たない fact7: もし仮にある物が自滅するとするとこの意図通りは追い付くかそれは精液採取だ fact8: その駱駝は帝国主義だ fact9: もし仮にこのショッピング・センターが非常災害であるとすればこの塵芥は確認し難い fact10: 印刷プレビューは憎々しいということはないしまた演じ続けない fact11: 帝国主義は幽体離脱しないけど非常災害だ fact12: もしもあの低カルシウム血症が非常災害ならばそれは幽体離脱しない fact13: あの低カルシウム血症は如此しないが確認し難い fact14: 憎々しくないものは尤もらしいし帝国主義だ fact15: この塵芥は馴染み難くない fact16: その仮設トイレが転送形式でないとするとこのショッピング・センターは印刷プレビューであるし打ち壊す fact17: もしも「この塵芥は幽体離脱するかまたは帝国主義だ」ということは偽だとしたら「あのプロゴルファーは馴染み難くない」ということは確かである fact18: 「あの低カルシウム血症は馴染み難いかもしくは非常災害であるかもしくはどちらもだ」ということは成り立たない fact19: 「「自滅する」物はある」ということは成り立つ fact20: もしもなにがしかのものは確認し難いか非常災害であるかもしくは両方だとしたら幽体離脱しない fact21: もしもこの暗唱が経過・予後であるとしたらその電界は分離し易い fact22: もしあるものが非常災害だとすればそれは幽体離脱しない fact23: あの子馬達は馴染み難い fact24: なにかは如此しならばそれは馴染み難い
fact13 -> int1: あの低カルシウム血症は確認し難い; int1 -> int2: あの低カルシウム血症は確認し難いかもしくは非常災害だ; fact20 -> int3: 仮にあの低カルシウム血症が確認し難いかまたは非常災害であるかあるいはどちらもだとしたら幽体離脱しない; int2 & int3 -> int4: 「あの低カルシウム血症は幽体離脱しない」ということは真実である; int4 & fact6 -> int5: 「この塵芥は幽体離脱するかまたは帝国主義であるかまたは両方だ」ということは成り立たない; int5 & fact17 -> hypothesis;
あのプロゴルファーは馴染み難い
fact25 -> int6: 「あのプロゴルファーは如此し」ということは確かだとしたら馴染み難い;
$facts$ = fact1: あの低カルシウム血症は如此しということはない fact2: 仮に「追い付くしさらに分離し易い」ものがあるとすればその仮設トイレは転送形式でない fact3: もしもこの意図通りが追い付くならその電界は追い付く fact4: もし仮にこの意図通りが精液採取ならばその電界は追い付く fact5: この暗唱は経過・予後だ fact6: もしもあの低カルシウム血症は幽体離脱するということはないとすると「この塵芥は幽体離脱するか帝国主義である」ということは成り立たない fact7: もし仮にある物が自滅するとするとこの意図通りは追い付くかそれは精液採取だ fact8: その駱駝は帝国主義だ fact9: もし仮にこのショッピング・センターが非常災害であるとすればこの塵芥は確認し難い fact10: 印刷プレビューは憎々しいということはないしまた演じ続けない fact11: 帝国主義は幽体離脱しないけど非常災害だ fact12: もしもあの低カルシウム血症が非常災害ならばそれは幽体離脱しない fact13: あの低カルシウム血症は如此しないが確認し難い fact14: 憎々しくないものは尤もらしいし帝国主義だ fact15: この塵芥は馴染み難くない fact16: その仮設トイレが転送形式でないとするとこのショッピング・センターは印刷プレビューであるし打ち壊す fact17: もしも「この塵芥は幽体離脱するかまたは帝国主義だ」ということは偽だとしたら「あのプロゴルファーは馴染み難くない」ということは確かである fact18: 「あの低カルシウム血症は馴染み難いかもしくは非常災害であるかもしくはどちらもだ」ということは成り立たない fact19: 「「自滅する」物はある」ということは成り立つ fact20: もしもなにがしかのものは確認し難いか非常災害であるかもしくは両方だとしたら幽体離脱しない fact21: もしもこの暗唱が経過・予後であるとしたらその電界は分離し易い fact22: もしあるものが非常災害だとすればそれは幽体離脱しない fact23: あの子馬達は馴染み難い fact24: なにかは如此しならばそれは馴染み難い ; $hypothesis$ = あのプロゴルファーは馴染み難くない ; $proof$ = 
fact13 -> int1: あの低カルシウム血症は確認し難い; int1 -> int2: あの低カルシウム血症は確認し難いかもしくは非常災害だ; fact20 -> int3: 仮にあの低カルシウム血症が確認し難いかまたは非常災害であるかあるいはどちらもだとしたら幽体離脱しない; int2 & int3 -> int4: 「あの低カルシウム血症は幽体離脱しない」ということは真実である; int4 & fact6 -> int5: 「この塵芥は幽体離脱するかまたは帝国主義であるかまたは両方だ」ということは成り立たない; int5 & fact17 -> hypothesis; __PROVED__
事実1: あの低カルシウム血症は如此しということはない
事実2: 仮に「追い付くしさらに分離し易い」ものがあるとすればその仮設トイレは転送形式でない
事実3: もしもこの意図通りが追い付くならその電界は追い付く
事実4: もし仮にこの意図通りが精液採取ならばその電界は追い付く
事実5: この暗唱は経過・予後だ
事実6: もしもあの低カルシウム血症は幽体離脱するということはないとすると「この塵芥は幽体離脱するか帝国主義である」ということは成り立たない
事実7: もし仮にある物が自滅するとするとこの意図通りは追い付くかそれは精液採取だ
事実8: その駱駝は帝国主義だ
事実9: もし仮にこのショッピング・センターが非常災害であるとすればこの塵芥は確認し難い
事実10: 印刷プレビューは憎々しいということはないしまた演じ続けない
事実11: 帝国主義は幽体離脱しないけど非常災害だ
事実12: もしもあの低カルシウム血症が非常災害ならばそれは幽体離脱しない
事実13: あの低カルシウム血症は如此しないが確認し難い
事実14: 憎々しくないものは尤もらしいし帝国主義だ
事実15: この塵芥は馴染み難くない
事実16: その仮設トイレが転送形式でないとするとこのショッピング・センターは印刷プレビューであるし打ち壊す
事実17: もしも「この塵芥は幽体離脱するかまたは帝国主義だ」ということは偽だとしたら「あのプロゴルファーは馴染み難くない」ということは確かである
事実18: 「あの低カルシウム血症は馴染み難いかもしくは非常災害であるかもしくはどちらもだ」ということは成り立たない
事実19: 「「自滅する」物はある」ということは成り立つ
事実20: もしもなにがしかのものは確認し難いか非常災害であるかもしくは両方だとしたら幽体離脱しない
事実21: もしもこの暗唱が経過・予後であるとしたらその電界は分離し易い
事実22: もしあるものが非常災害だとすればそれは幽体離脱しない
事実23: あの子馬達は馴染み難い
事実24: なにかは如此しならばそれは馴染み難い

仮説: あのプロゴルファーは馴染み難くない
1. 事実13から、推論1: "あの低カルシウム血症は確認し難い"が導かれる
2. 推論1から、推論2: "あの低カルシウム血症は確認し難いかもしくは非常災害だ"が導かれる
3. 事実20から、推論3: "仮にあの低カルシウム血症が確認し難いかまたは非常災害であるかあるいはどちらもだとしたら幽体離脱しない"が導かれる
4. 推論2と推論3から、推論4: "「あの低カルシウム血症は幽体離脱しない」ということは真実である"が導かれる
5. 推論4と事実6から、推論5: "「この塵芥は幽体離脱するかまたは帝国主義であるかまたは両方だ」ということは成り立たない"が導かれる
6. 推論5と事実17から、仮説が導かれる

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