この脊髄小脳変性症が眩しいとするとその開拓使は乗り掛けるが総括でない
fact1: この脊髄小脳変性症は座するけれどそれは分離独立するということはない fact2: 仮にあの従事が総括でないとすればその開拓使は総括でない fact3: 「その開拓使は総括である」ということは成り立つならあの従事は乗り掛けない fact4: 仮にその開拓使が眩しくないとするとこの脊髄小脳変性症は総括だけど眩しくない fact5: 仮にその開拓使が眩しいならばあの脊髄小脳変性症は総括でない fact6: もし仮にこの脊髄小脳変性症が総括であるとすればあの従事は眩しくない fact7: 「その開拓使は眩しい」ということは事実である fact8: この脊髄小脳変性症は乗り掛けるが腎虚だということはない fact9: もしこの脊髄小脳変性症が眩しいとすればあの従事は総括でない fact10: そのチタン製は総括でない fact11: もし仮にあの従事が乗り掛けないならばあの開拓使は総括だがしかしそれは乗り掛けるということはない fact12: 仮にあの従事が総括でないならばその開拓使は乗り掛ける一方で総括でない fact13: その開拓使は総括でない fact14: このＧＭ計数管は総括だけど恵み深いということはない fact15: その開拓使は眩しいけれど乗り掛けない fact16: もしもこの脊髄小脳変性症が眩しいとすればその開拓使は総括でない fact17: もし仮に「この脊髄小脳変性症は総括だ」ということは正しいとすればその開拓使は眩しいということはない
void -> assump1: 以下のように仮定する。この脊髄小脳変性症は眩しい; fact9 & assump1 -> int1: あの従事は総括でない; int1 & fact12 -> int2: その開拓使は乗り掛けるがしかし総括でない; [assump1] & int2 -> hypothesis;
void -> assump1: {A}{a}; fact9 & assump1 -> int1: ¬{B}{b}; int1 & fact12 -> int2: ({D}{c} & ¬{B}{c}); [assump1] & int2 -> hypothesis;
$facts$ = fact1: この脊髄小脳変性症は座するけれどそれは分離独立するということはない fact2: 仮にあの従事が総括でないとすればその開拓使は総括でない fact3: 「その開拓使は総括である」ということは成り立つならあの従事は乗り掛けない fact4: 仮にその開拓使が眩しくないとするとこの脊髄小脳変性症は総括だけど眩しくない fact5: 仮にその開拓使が眩しいならばあの脊髄小脳変性症は総括でない fact6: もし仮にこの脊髄小脳変性症が総括であるとすればあの従事は眩しくない fact7: 「その開拓使は眩しい」ということは事実である fact8: この脊髄小脳変性症は乗り掛けるが腎虚だということはない fact9: もしこの脊髄小脳変性症が眩しいとすればあの従事は総括でない fact10: そのチタン製は総括でない fact11: もし仮にあの従事が乗り掛けないならばあの開拓使は総括だがしかしそれは乗り掛けるということはない fact12: 仮にあの従事が総括でないならばその開拓使は乗り掛ける一方で総括でない fact13: その開拓使は総括でない fact14: このＧＭ計数管は総括だけど恵み深いということはない fact15: その開拓使は眩しいけれど乗り掛けない fact16: もしもこの脊髄小脳変性症が眩しいとすればその開拓使は総括でない fact17: もし仮に「この脊髄小脳変性症は総括だ」ということは正しいとすればその開拓使は眩しいということはない ; $hypothesis$ = この脊髄小脳変性症が眩しいとするとその開拓使は乗り掛けるが総括でない ; $proof$ = 
void -> assump1: 以下のように仮定する。この脊髄小脳変性症は眩しい; fact9 & assump1 -> int1: あの従事は総括でない; int1 & fact12 -> int2: その開拓使は乗り掛けるがしかし総括でない; [assump1] & int2 -> hypothesis; __PROVED__
事実1: この脊髄小脳変性症は座するけれどそれは分離独立するということはない
事実2: 仮にあの従事が総括でないとすればその開拓使は総括でない
事実3: 「その開拓使は総括である」ということは成り立つならあの従事は乗り掛けない
事実4: 仮にその開拓使が眩しくないとするとこの脊髄小脳変性症は総括だけど眩しくない
事実5: 仮にその開拓使が眩しいならばあの脊髄小脳変性症は総括でない
事実6: もし仮にこの脊髄小脳変性症が総括であるとすればあの従事は眩しくない
事実7: 「その開拓使は眩しい」ということは事実である
事実8: この脊髄小脳変性症は乗り掛けるが腎虚だということはない
事実9: もしこの脊髄小脳変性症が眩しいとすればあの従事は総括でない
事実10: そのチタン製は総括でない
事実11: もし仮にあの従事が乗り掛けないならばあの開拓使は総括だがしかしそれは乗り掛けるということはない
事実12: 仮にあの従事が総括でないならばその開拓使は乗り掛ける一方で総括でない
事実13: その開拓使は総括でない
事実14: このＧＭ計数管は総括だけど恵み深いということはない
事実15: その開拓使は眩しいけれど乗り掛けない
事実16: もしもこの脊髄小脳変性症が眩しいとすればその開拓使は総括でない
事実17: もし仮に「この脊髄小脳変性症は総括だ」ということは正しいとすればその開拓使は眩しいということはない

仮説: この脊髄小脳変性症が眩しいとするとその開拓使は乗り掛けるが総括でない
1. 仮定1: 以下のように仮定する。この脊髄小脳変性症は眩しい
2. 事実9と仮定1から、推論1: "あの従事は総括でない"が導かれる
3. 推論1と事実12から、推論2: "その開拓使は乗り掛けるがしかし総括でない"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

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