仮に「その証券化支援業務は熟読しない」ということは事実であるならあの馬番は灯し難い
fact1: もし仮に「その証券化支援業務は熟読しない」ということは成り立つとしたら「その耕作は格好悪いし更に装甲板だ」ということは嘘だ fact2: もし仮に「なにがしかのものは変換運動障害でないけど擽る」ということは偽であるならそれは変換運動障害だ fact3: あの馬番は尽くし難くない fact4: もしもその耕作が格好悪くないとするとその証券化支援業務は装甲板だ fact5: 「あの馬番は装甲板だしかつ灯し難い」ということは間違いである fact6: もしその証券化支援業務は熟読するなら「あの馬番は灯し難い」ということは本当である fact7: 「格好悪くて装甲板な」ものはある fact8: もし仮にその証券化支援業務は熟読しないとすれば「あの馬番は装甲板でしかもそれは灯し難い」ということは誤っている fact9: 「あの馬番は灯し難くてかつ熟読する」ということは成り立たない fact10: もし仮になにがしかのものは灯し難くないなら「それは熟読するしそれは金融証券だ」ということは事実と異なる fact11: もしも「「格好悪いしかつ装甲板だ」ということは成り立たない」ものがあるならばあの馬番は灯し難い fact12: その耕作は灯し難くない fact13: あの馬番は悪戯っぽくない fact14: もしもなにかは装甲板でないとすればあの馬番は灯し難い fact15: もしその証券化支援業務が格好悪くないとしたらその耕作は熟読する fact16: もし仮に「「灯し難いし装甲板である」ということは誤りな」ものがあるとしたらあの馬番は格好悪い fact17: 「その証券化支援業務が装甲板だしそれにそれは熟読する」ということは成り立たない fact18: もしもその耕作が熟読しないならばあの証券化支援業務は格好悪い fact19: 分かち難い変換運動障害は灯し難いということはない fact20: もし「その証券化支援業務は熟読する」ということは成り立つとすれば「その耕作は格好悪いしまたそれは装甲板である」ということは成り立たない fact21: その証券化支援業務は格好悪い fact22: あの馬番は押っ付ける
void -> assump1: 以下のように仮定する。その証券化支援業務は熟読するということはない; fact1 & assump1 -> int1: 「その耕作は格好悪いし装甲板である」ということは誤っている; int1 -> int2: 「「格好悪くて装甲板である」ということは嘘な」ものはある; int2 & fact11 -> int3: あの馬番は灯し難い; [assump1] & int3 -> hypothesis;
「あの結び柳は熟読するしさらに金融証券だ」ということは嘘である
fact25 -> int4: もしあの結び柳は灯し難いということはないとすると「それは熟読するし金融証券である」ということは成り立たない; fact23 -> int5: もしもあの結び柳は変換運動障害で加えて分かち難いとしたらそれは灯し難くない; fact24 -> int6: 仮に「あの結び柳は変換運動障害でないけど擽る」ということは成り立たないならそれは変換運動障害である;
$facts$ = fact1: もし仮に「その証券化支援業務は熟読しない」ということは成り立つとしたら「その耕作は格好悪いし更に装甲板だ」ということは嘘だ fact2: もし仮に「なにがしかのものは変換運動障害でないけど擽る」ということは偽であるならそれは変換運動障害だ fact3: あの馬番は尽くし難くない fact4: もしもその耕作が格好悪くないとするとその証券化支援業務は装甲板だ fact5: 「あの馬番は装甲板だしかつ灯し難い」ということは間違いである fact6: もしその証券化支援業務は熟読するなら「あの馬番は灯し難い」ということは本当である fact7: 「格好悪くて装甲板な」ものはある fact8: もし仮にその証券化支援業務は熟読しないとすれば「あの馬番は装甲板でしかもそれは灯し難い」ということは誤っている fact9: 「あの馬番は灯し難くてかつ熟読する」ということは成り立たない fact10: もし仮になにがしかのものは灯し難くないなら「それは熟読するしそれは金融証券だ」ということは事実と異なる fact11: もしも「「格好悪いしかつ装甲板だ」ということは成り立たない」ものがあるならばあの馬番は灯し難い fact12: その耕作は灯し難くない fact13: あの馬番は悪戯っぽくない fact14: もしもなにかは装甲板でないとすればあの馬番は灯し難い fact15: もしその証券化支援業務が格好悪くないとしたらその耕作は熟読する fact16: もし仮に「「灯し難いし装甲板である」ということは誤りな」ものがあるとしたらあの馬番は格好悪い fact17: 「その証券化支援業務が装甲板だしそれにそれは熟読する」ということは成り立たない fact18: もしもその耕作が熟読しないならばあの証券化支援業務は格好悪い fact19: 分かち難い変換運動障害は灯し難いということはない fact20: もし「その証券化支援業務は熟読する」ということは成り立つとすれば「その耕作は格好悪いしまたそれは装甲板である」ということは成り立たない fact21: その証券化支援業務は格好悪い fact22: あの馬番は押っ付ける ; $hypothesis$ = 仮に「その証券化支援業務は熟読しない」ということは事実であるならあの馬番は灯し難い ; $proof$ = 
void -> assump1: 以下のように仮定する。その証券化支援業務は熟読するということはない; fact1 & assump1 -> int1: 「その耕作は格好悪いし装甲板である」ということは誤っている; int1 -> int2: 「「格好悪くて装甲板である」ということは嘘な」ものはある; int2 & fact11 -> int3: あの馬番は灯し難い; [assump1] & int3 -> hypothesis; __PROVED__
事実1: もし仮に「その証券化支援業務は熟読しない」ということは成り立つとしたら「その耕作は格好悪いし更に装甲板だ」ということは嘘だ
事実2: もし仮に「なにがしかのものは変換運動障害でないけど擽る」ということは偽であるならそれは変換運動障害だ
事実3: あの馬番は尽くし難くない
事実4: もしもその耕作が格好悪くないとするとその証券化支援業務は装甲板だ
事実5: 「あの馬番は装甲板だしかつ灯し難い」ということは間違いである
事実6: もしその証券化支援業務は熟読するなら「あの馬番は灯し難い」ということは本当である
事実7: 「格好悪くて装甲板な」ものはある
事実8: もし仮にその証券化支援業務は熟読しないとすれば「あの馬番は装甲板でしかもそれは灯し難い」ということは誤っている
事実9: 「あの馬番は灯し難くてかつ熟読する」ということは成り立たない
事実10: もし仮になにがしかのものは灯し難くないなら「それは熟読するしそれは金融証券だ」ということは事実と異なる
事実11: もしも「「格好悪いしかつ装甲板だ」ということは成り立たない」ものがあるならばあの馬番は灯し難い
事実12: その耕作は灯し難くない
事実13: あの馬番は悪戯っぽくない
事実14: もしもなにかは装甲板でないとすればあの馬番は灯し難い
事実15: もしその証券化支援業務が格好悪くないとしたらその耕作は熟読する
事実16: もし仮に「「灯し難いし装甲板である」ということは誤りな」ものがあるとしたらあの馬番は格好悪い
事実17: 「その証券化支援業務が装甲板だしそれにそれは熟読する」ということは成り立たない
事実18: もしもその耕作が熟読しないならばあの証券化支援業務は格好悪い
事実19: 分かち難い変換運動障害は灯し難いということはない
事実20: もし「その証券化支援業務は熟読する」ということは成り立つとすれば「その耕作は格好悪いしまたそれは装甲板である」ということは成り立たない
事実21: その証券化支援業務は格好悪い
事実22: あの馬番は押っ付ける

仮説: 仮に「その証券化支援業務は熟読しない」ということは事実であるならあの馬番は灯し難い
1. 仮定1: 以下のように仮定する。その証券化支援業務は熟読するということはない
2. 事実1と仮定1から、推論1: "「その耕作は格好悪いし装甲板である」ということは誤っている"が導かれる
3. 推論1から、推論2: "「「格好悪くて装甲板である」ということは嘘な」ものはある"が導かれる
4. 推論2と事実11から、推論3: "あの馬番は灯し難い"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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