この未検出は包括医療だ
fact1: もし仮になにかはグローバル化すれば「判決しなくて加えて包括医療だ」ということは嘘だ fact2: なんらかのものは包括医療であるかあるいは判決しない fact3: なにかは判決するかまたはそれは甚振り殺すということはないかもしくは両方だ fact4: 仮にあの基本モデルがするするならこの未検出は包括医療である fact5: あの基本モデルは判決するしおまけに甚振り殺す fact6: この未検出はするする fact7: 「「仰々しいかまたは共愛女学校でない」ということは誤っている」物はある fact8: 仮に「「仰々しいかまたは共愛女学校でないかもしくは両方である」ということは成り立たない」ものがあるならあの基本モデルはグローバル化するということはない fact9: 仮にある物が判決するけれどそれが甚振り殺さないならそれは包括医療だ fact10: あの基本モデルがグローバル化すればこの未検出は甚振り殺す fact11: もしなにかは判決するけどグローバル化するということはないならばするする fact12: 「イギリス諸島である」物はある fact13: この未検出は見分け方であるけれど作成・公表しない fact14: あの基本モデルが包括医療だけど育て易くない
fact7 & fact8 -> int1: あの基本モデルはグローバル化しない; fact5 -> int2: あの基本モデルは判決する; int1 & int2 -> int3: あの基本モデルは判決するがしかしグローバル化しない; fact11 -> int4: 仮にあの基本モデルは判決するがしかしグローバル化しないならするする; int3 & int4 -> int5: あの基本モデルはするする; int5 & fact4 -> hypothesis;
この未検出は包括医療でない
fact15 -> int6: もしあの基本モデルはグローバル化すれば「それは判決しないけれど包括医療である」ということは成り立たない;
$facts$ = fact1: もし仮になにかはグローバル化すれば「判決しなくて加えて包括医療だ」ということは嘘だ fact2: なんらかのものは包括医療であるかあるいは判決しない fact3: なにかは判決するかまたはそれは甚振り殺すということはないかもしくは両方だ fact4: 仮にあの基本モデルがするするならこの未検出は包括医療である fact5: あの基本モデルは判決するしおまけに甚振り殺す fact6: この未検出はするする fact7: 「「仰々しいかまたは共愛女学校でない」ということは誤っている」物はある fact8: 仮に「「仰々しいかまたは共愛女学校でないかもしくは両方である」ということは成り立たない」ものがあるならあの基本モデルはグローバル化するということはない fact9: 仮にある物が判決するけれどそれが甚振り殺さないならそれは包括医療だ fact10: あの基本モデルがグローバル化すればこの未検出は甚振り殺す fact11: もしなにかは判決するけどグローバル化するということはないならばするする fact12: 「イギリス諸島である」物はある fact13: この未検出は見分け方であるけれど作成・公表しない fact14: あの基本モデルが包括医療だけど育て易くない ; $hypothesis$ = この未検出は包括医療だ ; $proof$ = 
fact7 & fact8 -> int1: あの基本モデルはグローバル化しない; fact5 -> int2: あの基本モデルは判決する; int1 & int2 -> int3: あの基本モデルは判決するがしかしグローバル化しない; fact11 -> int4: 仮にあの基本モデルは判決するがしかしグローバル化しないならするする; int3 & int4 -> int5: あの基本モデルはするする; int5 & fact4 -> hypothesis; __PROVED__
事実1: もし仮になにかはグローバル化すれば「判決しなくて加えて包括医療だ」ということは嘘だ
事実2: なんらかのものは包括医療であるかあるいは判決しない
事実3: なにかは判決するかまたはそれは甚振り殺すということはないかもしくは両方だ
事実4: 仮にあの基本モデルがするするならこの未検出は包括医療である
事実5: あの基本モデルは判決するしおまけに甚振り殺す
事実6: この未検出はするする
事実7: 「「仰々しいかまたは共愛女学校でない」ということは誤っている」物はある
事実8: 仮に「「仰々しいかまたは共愛女学校でないかもしくは両方である」ということは成り立たない」ものがあるならあの基本モデルはグローバル化するということはない
事実9: 仮にある物が判決するけれどそれが甚振り殺さないならそれは包括医療だ
事実10: あの基本モデルがグローバル化すればこの未検出は甚振り殺す
事実11: もしなにかは判決するけどグローバル化するということはないならばするする
事実12: 「イギリス諸島である」物はある
事実13: この未検出は見分け方であるけれど作成・公表しない
事実14: あの基本モデルが包括医療だけど育て易くない

仮説: この未検出は包括医療だ
1. 事実7と事実8から、推論1: "あの基本モデルはグローバル化しない"が導かれる
2. 事実5から、推論2: "あの基本モデルは判決する"が導かれる
3. 推論1と推論2から、推論3: "あの基本モデルは判決するがしかしグローバル化しない"が導かれる
4. 事実11から、推論4: "仮にあの基本モデルは判決するがしかしグローバル化しないならするする"が導かれる
5. 推論3と推論4から、推論5: "あの基本モデルはするする"が導かれる
6. 推論5と事実4から、仮説が導かれる

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