その貴族層が持ち切れないとするとそのアレンジウィンドウは髄節動静脈でない
fact1: そのアレンジウィンドウは引き出し易い fact2: もしその貴族層が持ち切れるならそのアレンジウィンドウは髄節動静脈でない fact3: もし仮に引き出し易くないものは髄節動静脈であるということはないとしたらそれは上り易くない fact4: もしもその貴族層は持ち切れないとしたら「そのアレンジウィンドウは髄節動静脈である」ということは成り立つ fact5: もし「なにがしかのものは据え付け図でない」ということは本当であるとすれば愛らしくないけど持ち切れる fact6: なにがしかの物が持ち切れるとすると引き出し易くないし髄節動静脈でない fact7: もし仮に「そのアレンジウィンドウは髄節動静脈でない」ということは確かでないとすればこの右近は引き出し易い fact8: もしその貴族層が髄節動静脈ならそのアレンジウィンドウは持ち切れる fact9: この右近が引き出し易いとすればその貴族層は持ち切れる fact10: もしもそのアレンジウィンドウが引き出し易いとすればこの右近は髄節動静脈だ fact11: もし仮にそのアレンジウィンドウが引き出し易くないとするとこの右近は髄節動静脈でない
void -> assump2: 以下のように仮定する。そのアレンジウィンドウは髄節動静脈である; fact7 & assump2 -> int1: この右近は引き出し易い; int1 & fact9 -> int2: その貴族層は持ち切れる; void -> assump1: 以下のように仮定する。その貴族層は持ち切れない; int2 & assump1 -> int3: これは矛盾である; [assump2] & int3 -> int4: そのアレンジウィンドウは髄節動静脈でない; [assump1] & int4 -> hypothesis;
この右近は上り易くない
fact14 -> int5: もしこの右近が引き出し易くなくて更に髄節動静脈でないならばそれは上り易くない; fact13 -> int6: もし仮にこの右近が持ち切れるとしたら引き出し易くなくておまけに髄節動静脈でない; fact12 -> int7: 「もしもこの右近が据え付け図だということはないとすればこの右近は愛らしくないけれど持ち切れる」ということは成り立つ;
$facts$ = fact1: そのアレンジウィンドウは引き出し易い fact2: もしその貴族層が持ち切れるならそのアレンジウィンドウは髄節動静脈でない fact3: もし仮に引き出し易くないものは髄節動静脈であるということはないとしたらそれは上り易くない fact4: もしもその貴族層は持ち切れないとしたら「そのアレンジウィンドウは髄節動静脈である」ということは成り立つ fact5: もし「なにがしかのものは据え付け図でない」ということは本当であるとすれば愛らしくないけど持ち切れる fact6: なにがしかの物が持ち切れるとすると引き出し易くないし髄節動静脈でない fact7: もし仮に「そのアレンジウィンドウは髄節動静脈でない」ということは確かでないとすればこの右近は引き出し易い fact8: もしその貴族層が髄節動静脈ならそのアレンジウィンドウは持ち切れる fact9: この右近が引き出し易いとすればその貴族層は持ち切れる fact10: もしもそのアレンジウィンドウが引き出し易いとすればこの右近は髄節動静脈だ fact11: もし仮にそのアレンジウィンドウが引き出し易くないとするとこの右近は髄節動静脈でない ; $hypothesis$ = その貴族層が持ち切れないとするとそのアレンジウィンドウは髄節動静脈でない ; $proof$ = 
void -> assump2: 以下のように仮定する。そのアレンジウィンドウは髄節動静脈である; fact7 & assump2 -> int1: この右近は引き出し易い; int1 & fact9 -> int2: その貴族層は持ち切れる; void -> assump1: 以下のように仮定する。その貴族層は持ち切れない; int2 & assump1 -> int3: これは矛盾である; [assump2] & int3 -> int4: そのアレンジウィンドウは髄節動静脈でない; [assump1] & int4 -> hypothesis; __PROVED__
事実1: そのアレンジウィンドウは引き出し易い
事実2: もしその貴族層が持ち切れるならそのアレンジウィンドウは髄節動静脈でない
事実3: もし仮に引き出し易くないものは髄節動静脈であるということはないとしたらそれは上り易くない
事実4: もしもその貴族層は持ち切れないとしたら「そのアレンジウィンドウは髄節動静脈である」ということは成り立つ
事実5: もし「なにがしかのものは据え付け図でない」ということは本当であるとすれば愛らしくないけど持ち切れる
事実6: なにがしかの物が持ち切れるとすると引き出し易くないし髄節動静脈でない
事実7: もし仮に「そのアレンジウィンドウは髄節動静脈でない」ということは確かでないとすればこの右近は引き出し易い
事実8: もしその貴族層が髄節動静脈ならそのアレンジウィンドウは持ち切れる
事実9: この右近が引き出し易いとすればその貴族層は持ち切れる
事実10: もしもそのアレンジウィンドウが引き出し易いとすればこの右近は髄節動静脈だ
事実11: もし仮にそのアレンジウィンドウが引き出し易くないとするとこの右近は髄節動静脈でない

仮説: その貴族層が持ち切れないとするとそのアレンジウィンドウは髄節動静脈でない
1. 仮定2: 以下のように仮定する。そのアレンジウィンドウは髄節動静脈である
2. 事実7と仮定2から、推論1: "この右近は引き出し易い"が導かれる
3. 推論1と事実9から、推論2: "その貴族層は持ち切れる"が導かれる
4. 仮定1: 以下のように仮定する。その貴族層は持ち切れない
5. 推論2と仮定1から、推論3: "これは矛盾である"が導かれる
6. [仮定2]と推論3から、推論4: "そのアレンジウィンドウは髄節動静脈でない"が導かれる
7. [仮定1]と推論4から、仮説が導かれる

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