あの本件減価率は手続き開始後でないか京成線でないかあるいは両方である
fact1: もし「あの本件減価率は漏れ無い」ということは誤りでないとするとその投降兵は京成線でないかあるいはそれは漏れ無くないかまたは両方ともである fact2: あのドイツ政府が御買いに成るならその投降兵は侘しくない fact3: その投降兵は漏れ無くて更に京成線だ fact4: 迷い難くないがしかし通勤費であるという物はない fact5: あの本件減価率は手続き開始後でないかあるいは京成線である fact6: 何らかのものは侘しくないとすると「通勤費であるしおまけに入り難い」ということは成り立つ fact7: もしとある物が迷い難いか漏れ無いとすればあの投降兵は漏れ無い fact8: もし仮にその投降兵が京成線であるとしたらあの本件減価率は手続き開始後でないか京成線でないかどちらもである fact9: あのドイツ政府が探し易いとすると御買いに成る fact10: なにかは迷い難いとしたら「漏れ無い」ということは事実と異ならない fact11: もし何かは漏れ無いとするとそれは手続き開始後だ fact12: 「仮にその投降兵が京成線であるとすればあの本件減価率は手続き開始後であるかまたは京成線であるということはない」ということは本当だ fact13: その投降兵は漏れ無い fact14: あのドイツ政府は探し易い fact15: なにがしかのものが通勤費だとすると迷い難い
fact3 -> int1: その投降兵は京成線である; int1 & fact8 -> hypothesis;
「あの本件減価率は手続き開始後でないか京成線でないか両方だ」ということは嘘である
fact17 -> int2: もしその投降兵は迷い難いなら「漏れ無い」ということは成り立つ; fact18 -> int3: その投降兵が通勤費だとすればそれは迷い難い; fact20 -> int4: 仮にその投降兵が侘しくないとすればそれは通勤費でそれは入り難い; fact21 & fact19 -> int5: あのドイツ政府は御買いに成る; fact16 & int5 -> int6: その投降兵は侘しいということはない; int4 & int6 -> int7: その投降兵は通勤費であるしかつそれは入り難い; int7 -> int8: 「その投降兵は通勤費である」ということは成り立つ; int3 & int8 -> int9: その投降兵は迷い難い; int2 & int9 -> int10: その投降兵は漏れ無い; int10 -> int11: なにがしかの物は漏れ無い;
$facts$ = fact1: もし「あの本件減価率は漏れ無い」ということは誤りでないとするとその投降兵は京成線でないかあるいはそれは漏れ無くないかまたは両方ともである fact2: あのドイツ政府が御買いに成るならその投降兵は侘しくない fact3: その投降兵は漏れ無くて更に京成線だ fact4: 迷い難くないがしかし通勤費であるという物はない fact5: あの本件減価率は手続き開始後でないかあるいは京成線である fact6: 何らかのものは侘しくないとすると「通勤費であるしおまけに入り難い」ということは成り立つ fact7: もしとある物が迷い難いか漏れ無いとすればあの投降兵は漏れ無い fact8: もし仮にその投降兵が京成線であるとしたらあの本件減価率は手続き開始後でないか京成線でないかどちらもである fact9: あのドイツ政府が探し易いとすると御買いに成る fact10: なにかは迷い難いとしたら「漏れ無い」ということは事実と異ならない fact11: もし何かは漏れ無いとするとそれは手続き開始後だ fact12: 「仮にその投降兵が京成線であるとすればあの本件減価率は手続き開始後であるかまたは京成線であるということはない」ということは本当だ fact13: その投降兵は漏れ無い fact14: あのドイツ政府は探し易い fact15: なにがしかのものが通勤費だとすると迷い難い ; $hypothesis$ = あの本件減価率は手続き開始後でないか京成線でないかあるいは両方である ; $proof$ = 
fact3 -> int1: その投降兵は京成線である; int1 & fact8 -> hypothesis; __PROVED__
事実1: もし「あの本件減価率は漏れ無い」ということは誤りでないとするとその投降兵は京成線でないかあるいはそれは漏れ無くないかまたは両方ともである
事実2: あのドイツ政府が御買いに成るならその投降兵は侘しくない
事実3: その投降兵は漏れ無くて更に京成線だ
事実4: 迷い難くないがしかし通勤費であるという物はない
事実5: あの本件減価率は手続き開始後でないかあるいは京成線である
事実6: 何らかのものは侘しくないとすると「通勤費であるしおまけに入り難い」ということは成り立つ
事実7: もしとある物が迷い難いか漏れ無いとすればあの投降兵は漏れ無い
事実8: もし仮にその投降兵が京成線であるとしたらあの本件減価率は手続き開始後でないか京成線でないかどちらもである
事実9: あのドイツ政府が探し易いとすると御買いに成る
事実10: なにかは迷い難いとしたら「漏れ無い」ということは事実と異ならない
事実11: もし何かは漏れ無いとするとそれは手続き開始後だ
事実12: 「仮にその投降兵が京成線であるとすればあの本件減価率は手続き開始後であるかまたは京成線であるということはない」ということは本当だ
事実13: その投降兵は漏れ無い
事実14: あのドイツ政府は探し易い
事実15: なにがしかのものが通勤費だとすると迷い難い

仮説: あの本件減価率は手続き開始後でないか京成線でないかあるいは両方である
1. 事実3から、推論1: "その投降兵は京成線である"が導かれる
2. 推論1と事実8から、仮説が導かれる

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