あの地域中核病院は本文回帰だ
fact1: もし仮に「言い辛い」物があればあの地域中核病院は増加出来るか成り掛けないかもしくはどちらもである fact2: もしなにがしかの物が増加出来るかまたはそれは成り掛けないかまたはどちらもだとするとそれは当たり易い fact3: もし仮にあの地域中核病院が増加出来れば当たり易い fact4: もしこの自然派が本文回帰である一方でそれが言い辛くないとすればあの地域中核病院は本文回帰でない fact5: もしもあるものは増加出来るなら「それは当たり易い」ということは成り立つ fact6: もし何らかの物がぼやかすかまたはそれは使い古さないかもしくはどちらもならば荒々しい fact7: ある物は当たり易いなら「本文回帰だ」ということは間違いでない fact8: 「言い辛い」物はある
fact2 -> int1: あの地域中核病院は増加出来るか成り掛けるということはないかどちらもだとすればそれは当たり易い; fact1 & fact8 -> int2: あの地域中核病院は増加出来るかあるいは成り掛けないかまたはどちらもである; int1 & int2 -> int3: 「あの地域中核病院は当たり易い」ということは成り立つ; fact7 -> int4: もしもあの地域中核病院は当たり易いとすれば「本文回帰であるということはない」ということは成り立たない; int3 & int4 -> hypothesis;
fact2 -> int1: ({AA}{aa} v ¬{AB}{aa}) -> {B}{aa}; fact1 & fact8 -> int2: ({AA}{aa} v ¬{AB}{aa}); int1 & int2 -> int3: {B}{aa}; fact7 -> int4: {B}{aa} -> {A}{aa}; int3 & int4 -> hypothesis;
あの地域中核病院は本文回帰でない
$facts$ = fact1: もし仮に「言い辛い」物があればあの地域中核病院は増加出来るか成り掛けないかもしくはどちらもである fact2: もしなにがしかの物が増加出来るかまたはそれは成り掛けないかまたはどちらもだとするとそれは当たり易い fact3: もし仮にあの地域中核病院が増加出来れば当たり易い fact4: もしこの自然派が本文回帰である一方でそれが言い辛くないとすればあの地域中核病院は本文回帰でない fact5: もしもあるものは増加出来るなら「それは当たり易い」ということは成り立つ fact6: もし何らかの物がぼやかすかまたはそれは使い古さないかもしくはどちらもならば荒々しい fact7: ある物は当たり易いなら「本文回帰だ」ということは間違いでない fact8: 「言い辛い」物はある ; $hypothesis$ = あの地域中核病院は本文回帰だ ; $proof$ = 
fact2 -> int1: あの地域中核病院は増加出来るか成り掛けるということはないかどちらもだとすればそれは当たり易い; fact1 & fact8 -> int2: あの地域中核病院は増加出来るかあるいは成り掛けないかまたはどちらもである; int1 & int2 -> int3: 「あの地域中核病院は当たり易い」ということは成り立つ; fact7 -> int4: もしもあの地域中核病院は当たり易いとすれば「本文回帰であるということはない」ということは成り立たない; int3 & int4 -> hypothesis; __PROVED__
事実1: もし仮に「言い辛い」物があればあの地域中核病院は増加出来るか成り掛けないかもしくはどちらもである
事実2: もしなにがしかの物が増加出来るかまたはそれは成り掛けないかまたはどちらもだとするとそれは当たり易い
事実3: もし仮にあの地域中核病院が増加出来れば当たり易い
事実4: もしこの自然派が本文回帰である一方でそれが言い辛くないとすればあの地域中核病院は本文回帰でない
事実5: もしもあるものは増加出来るなら「それは当たり易い」ということは成り立つ
事実6: もし何らかの物がぼやかすかまたはそれは使い古さないかもしくはどちらもならば荒々しい
事実7: ある物は当たり易いなら「本文回帰だ」ということは間違いでない
事実8: 「言い辛い」物はある

仮説: あの地域中核病院は本文回帰だ
1. 事実2から、推論1: "あの地域中核病院は増加出来るか成り掛けるということはないかどちらもだとすればそれは当たり易い"が導かれる
2. 事実1と事実8から、推論2: "あの地域中核病院は増加出来るかあるいは成り掛けないかまたはどちらもである"が導かれる
3. 推論1と推論2から、推論3: "「あの地域中核病院は当たり易い」ということは成り立つ"が導かれる
4. 事実7から、推論4: "もしもあの地域中核病院は当たり易いとすれば「本文回帰であるということはない」ということは成り立たない"が導かれる
5. 推論3と推論4から、仮説が導かれる

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