あの首里城は望ましい
fact1: もしもこの解決・止揚が才人でないならその浸潤癌は焼き打ちするということはない fact2: もし「なんらかのものは減らし始めるしかわゆい」ということは成り立つということはないとするとそれはかわゆいということはない fact3: この別組織は減らし始めれば「その浸潤癌は焼き打ちしないけれどそれは甘辛い」ということは偽だ fact4: 「この解決・止揚は才人でない」ということは真実である fact5: もし仮にあの首里城が才人でないとしたらこの解決・止揚は望ましかない fact6: 「もしこの解決・止揚が才人でないとするとその浸潤癌は焼き打ちしない一方で甘辛い」ということは成り立つ fact7: なんらかの物が才人ならそれは減らし始める fact8: その浸潤癌は焼き打ちするということはないが才人である fact9: この別組織が減らし始めないとすればあの首里城は慎み深い fact10: 望ましくらないものは慎み深くないか才人でないか両方だ fact11: その浸潤癌は焼き打ちしない fact12: なにがしかの物が慎み深いなら望ましい fact13: その浸潤癌は才人だ fact14: 「その浸潤癌は焼き打ちするしまた甘辛い」ということは嘘である fact15: 「この解決・止揚は慎み深い」ということは嘘でない
void -> assump1: 以下のように仮定する。この別組織は減らし始める; fact3 & assump1 -> int1: 「その浸潤癌は焼き打ちしない一方で甘辛い」ということは成り立たない; fact4 & fact6 -> int2: その浸潤癌は焼き打ちしないが甘辛い; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この別組織は減らし始めるということはない; int4 & fact9 -> int5: あの首里城は慎み深い; fact12 -> int6: もし仮にあの首里城が慎み深いとすると望ましい; int5 & int6 -> hypothesis;
あの首里城は望ましかない
$facts$ = fact1: もしもこの解決・止揚が才人でないならその浸潤癌は焼き打ちするということはない fact2: もし「なんらかのものは減らし始めるしかわゆい」ということは成り立つということはないとするとそれはかわゆいということはない fact3: この別組織は減らし始めれば「その浸潤癌は焼き打ちしないけれどそれは甘辛い」ということは偽だ fact4: 「この解決・止揚は才人でない」ということは真実である fact5: もし仮にあの首里城が才人でないとしたらこの解決・止揚は望ましかない fact6: 「もしこの解決・止揚が才人でないとするとその浸潤癌は焼き打ちしない一方で甘辛い」ということは成り立つ fact7: なんらかの物が才人ならそれは減らし始める fact8: その浸潤癌は焼き打ちするということはないが才人である fact9: この別組織が減らし始めないとすればあの首里城は慎み深い fact10: 望ましくらないものは慎み深くないか才人でないか両方だ fact11: その浸潤癌は焼き打ちしない fact12: なにがしかの物が慎み深いなら望ましい fact13: その浸潤癌は才人だ fact14: 「その浸潤癌は焼き打ちするしまた甘辛い」ということは嘘である fact15: 「この解決・止揚は慎み深い」ということは嘘でない ; $hypothesis$ = あの首里城は望ましい ; $proof$ = 
void -> assump1: 以下のように仮定する。この別組織は減らし始める; fact3 & assump1 -> int1: 「その浸潤癌は焼き打ちしない一方で甘辛い」ということは成り立たない; fact4 & fact6 -> int2: その浸潤癌は焼き打ちしないが甘辛い; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この別組織は減らし始めるということはない; int4 & fact9 -> int5: あの首里城は慎み深い; fact12 -> int6: もし仮にあの首里城が慎み深いとすると望ましい; int5 & int6 -> hypothesis; __PROVED__
事実1: もしもこの解決・止揚が才人でないならその浸潤癌は焼き打ちするということはない
事実2: もし「なんらかのものは減らし始めるしかわゆい」ということは成り立つということはないとするとそれはかわゆいということはない
事実3: この別組織は減らし始めれば「その浸潤癌は焼き打ちしないけれどそれは甘辛い」ということは偽だ
事実4: 「この解決・止揚は才人でない」ということは真実である
事実5: もし仮にあの首里城が才人でないとしたらこの解決・止揚は望ましかない
事実6: 「もしこの解決・止揚が才人でないとするとその浸潤癌は焼き打ちしない一方で甘辛い」ということは成り立つ
事実7: なんらかの物が才人ならそれは減らし始める
事実8: その浸潤癌は焼き打ちするということはないが才人である
事実9: この別組織が減らし始めないとすればあの首里城は慎み深い
事実10: 望ましくらないものは慎み深くないか才人でないか両方だ
事実11: その浸潤癌は焼き打ちしない
事実12: なにがしかの物が慎み深いなら望ましい
事実13: その浸潤癌は才人だ
事実14: 「その浸潤癌は焼き打ちするしまた甘辛い」ということは嘘である
事実15: 「この解決・止揚は慎み深い」ということは嘘でない

仮説: あの首里城は望ましい
1. 仮定1: 以下のように仮定する。この別組織は減らし始める
2. 事実3と仮定1から、推論1: "「その浸潤癌は焼き打ちしない一方で甘辛い」ということは成り立たない"が導かれる
3. 事実4と事実6から、推論2: "その浸潤癌は焼き打ちしないが甘辛い"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この別組織は減らし始めるということはない"が導かれる
6. 推論4と事実9から、推論5: "あの首里城は慎み深い"が導かれる
7. 事実12から、推論6: "もし仮にあの首里城が慎み深いとすると望ましい"が導かれる
8. 推論5と推論6から、仮説が導かれる

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