もし仮にこの横位置が確認し易いとすればその部分集合は犯せる
fact1: この横位置は委託放送業務でない fact2: 「あの段階毎は犯せない」ということは本当だ fact3: その千九百八十九Ｂは靱帯である fact4: 仮にあの段階毎が若いならばその部分集合は犯せる fact5: この横位置は犯せない fact6: 仮にあの段階毎が靱帯であるとするとその千九百八十九Ｂは騙され易くないけど集住する fact7: もしも「あるものはべた付き易くないかまたはそれは看過し難いかあるいはどちらもだ」ということは成り立たないとすれば若い fact8: 「その部分集合は犯せるということはないがしかし集住する」ということは本当である fact9: もし仮に何らかの物が収容するということはないならそれは成り難くない fact10: その部分集合は集住する fact11: その部分集合は若くない fact12: あの進学率は看過し難くない fact13: その部分集合は看過し難くないならばそれは犯せない fact14: もし仮にとあるものは靱帯でないとしたら「それはべた付き易いということはないかまたは看過し難いか両方ともだ」ということは本当でない fact15: もしもその千九百八十九Ｂが騙され易くないけれどそれが確認し易いならばこの横位置は集住する fact16: 仮にあの段階毎がべた付き易いししかも看過し難いとするとその千九百八十九Ｂは靱帯であるということはない fact17: 「この横位置はべた付き易いとしたら「あの段階毎は確認し易い」ということは確かである」ということは成り立つ fact18: 仮にその部分集合がべた付き易くてそれが看過し難いとすればあの段階毎は犯せない fact19: もしこの横位置が確認し易くてそれにべた付き易いとしたらあの段階毎は犯せない fact20: もしこの横位置が看過し難いとするとあの段階毎は確認し易い fact21: もし仮にその千九百八十九Ｂが確認し易いしそれが集住すればこの横位置は騙され易くない fact22: 仮にその千九百八十九Ｂが騙され易くないがしかし集住するならこの横位置は確認し易くない fact23: その部分集合は愛しない fact24: 「その部分集合は看過し難くない」ということは間違いである
void -> assump2: 以下のように仮定する。「あの段階毎は靱帯だ」ということは成り立つ; fact6 & assump2 -> int1: その千九百八十九Ｂは騙され易いということはないけれど集住する; int1 & fact22 -> int2: この横位置は確認し易いということはない; void -> assump1: 以下のように仮定する。この横位置は確認し易い; int2 & assump1 -> int3: これは矛盾である; [assump2] & int3 -> int4: あの段階毎は靱帯でない; fact14 -> int5: もし仮にあの段階毎は靱帯でないとすれば「それはべた付き易いということはないかあるいは看過し難いかあるいはどちらもである」ということは成り立つということはない; int4 & int5 -> int6: 「あの段階毎はべた付き易いということはないかあるいは看過し難いかあるいは両方だ」ということは間違っている; fact7 -> int7: もし「あの段階毎はべた付き易くないかあるいはそれは看過し難いかあるいは両方だ」ということは誤りであるとするとそれは若い; int6 & int7 -> int8: あの段階毎は若い; int8 & fact4 -> int9: その部分集合は犯せる; [assump1] & int9 -> hypothesis;
$facts$ = fact1: この横位置は委託放送業務でない fact2: 「あの段階毎は犯せない」ということは本当だ fact3: その千九百八十九Ｂは靱帯である fact4: 仮にあの段階毎が若いならばその部分集合は犯せる fact5: この横位置は犯せない fact6: 仮にあの段階毎が靱帯であるとするとその千九百八十九Ｂは騙され易くないけど集住する fact7: もしも「あるものはべた付き易くないかまたはそれは看過し難いかあるいはどちらもだ」ということは成り立たないとすれば若い fact8: 「その部分集合は犯せるということはないがしかし集住する」ということは本当である fact9: もし仮に何らかの物が収容するということはないならそれは成り難くない fact10: その部分集合は集住する fact11: その部分集合は若くない fact12: あの進学率は看過し難くない fact13: その部分集合は看過し難くないならばそれは犯せない fact14: もし仮にとあるものは靱帯でないとしたら「それはべた付き易いということはないかまたは看過し難いか両方ともだ」ということは本当でない fact15: もしもその千九百八十九Ｂが騙され易くないけれどそれが確認し易いならばこの横位置は集住する fact16: 仮にあの段階毎がべた付き易いししかも看過し難いとするとその千九百八十九Ｂは靱帯であるということはない fact17: 「この横位置はべた付き易いとしたら「あの段階毎は確認し易い」ということは確かである」ということは成り立つ fact18: 仮にその部分集合がべた付き易くてそれが看過し難いとすればあの段階毎は犯せない fact19: もしこの横位置が確認し易くてそれにべた付き易いとしたらあの段階毎は犯せない fact20: もしこの横位置が看過し難いとするとあの段階毎は確認し易い fact21: もし仮にその千九百八十九Ｂが確認し易いしそれが集住すればこの横位置は騙され易くない fact22: 仮にその千九百八十九Ｂが騙され易くないがしかし集住するならこの横位置は確認し易くない fact23: その部分集合は愛しない fact24: 「その部分集合は看過し難くない」ということは間違いである ; $hypothesis$ = もし仮にこの横位置が確認し易いとすればその部分集合は犯せる ; $proof$ = 
void -> assump2: 以下のように仮定する。「あの段階毎は靱帯だ」ということは成り立つ; fact6 & assump2 -> int1: その千九百八十九Ｂは騙され易いということはないけれど集住する; int1 & fact22 -> int2: この横位置は確認し易いということはない; void -> assump1: 以下のように仮定する。この横位置は確認し易い; int2 & assump1 -> int3: これは矛盾である; [assump2] & int3 -> int4: あの段階毎は靱帯でない; fact14 -> int5: もし仮にあの段階毎は靱帯でないとすれば「それはべた付き易いということはないかあるいは看過し難いかあるいはどちらもである」ということは成り立つということはない; int4 & int5 -> int6: 「あの段階毎はべた付き易いということはないかあるいは看過し難いかあるいは両方だ」ということは間違っている; fact7 -> int7: もし「あの段階毎はべた付き易くないかあるいはそれは看過し難いかあるいは両方だ」ということは誤りであるとするとそれは若い; int6 & int7 -> int8: あの段階毎は若い; int8 & fact4 -> int9: その部分集合は犯せる; [assump1] & int9 -> hypothesis; __PROVED__
事実1: この横位置は委託放送業務でない
事実2: 「あの段階毎は犯せない」ということは本当だ
事実3: その千九百八十九Ｂは靱帯である
事実4: 仮にあの段階毎が若いならばその部分集合は犯せる
事実5: この横位置は犯せない
事実6: 仮にあの段階毎が靱帯であるとするとその千九百八十九Ｂは騙され易くないけど集住する
事実7: もしも「あるものはべた付き易くないかまたはそれは看過し難いかあるいはどちらもだ」ということは成り立たないとすれば若い
事実8: 「その部分集合は犯せるということはないがしかし集住する」ということは本当である
事実9: もし仮に何らかの物が収容するということはないならそれは成り難くない
事実10: その部分集合は集住する
事実11: その部分集合は若くない
事実12: あの進学率は看過し難くない
事実13: その部分集合は看過し難くないならばそれは犯せない
事実14: もし仮にとあるものは靱帯でないとしたら「それはべた付き易いということはないかまたは看過し難いか両方ともだ」ということは本当でない
事実15: もしもその千九百八十九Ｂが騙され易くないけれどそれが確認し易いならばこの横位置は集住する
事実16: 仮にあの段階毎がべた付き易いししかも看過し難いとするとその千九百八十九Ｂは靱帯であるということはない
事実17: 「この横位置はべた付き易いとしたら「あの段階毎は確認し易い」ということは確かである」ということは成り立つ
事実18: 仮にその部分集合がべた付き易くてそれが看過し難いとすればあの段階毎は犯せない
事実19: もしこの横位置が確認し易くてそれにべた付き易いとしたらあの段階毎は犯せない
事実20: もしこの横位置が看過し難いとするとあの段階毎は確認し易い
事実21: もし仮にその千九百八十九Ｂが確認し易いしそれが集住すればこの横位置は騙され易くない
事実22: 仮にその千九百八十九Ｂが騙され易くないがしかし集住するならこの横位置は確認し易くない
事実23: その部分集合は愛しない
事実24: 「その部分集合は看過し難くない」ということは間違いである

仮説: もし仮にこの横位置が確認し易いとすればその部分集合は犯せる
1. 仮定2: 以下のように仮定する。「あの段階毎は靱帯だ」ということは成り立つ
2. 事実6と仮定2から、推論1: "その千九百八十九Ｂは騙され易いということはないけれど集住する"が導かれる
3. 推論1と事実22から、推論2: "この横位置は確認し易いということはない"が導かれる
4. 仮定1: 以下のように仮定する。この横位置は確認し易い
5. 推論2と仮定1から、推論3: "これは矛盾である"が導かれる
6. [仮定2]と推論3から、推論4: "あの段階毎は靱帯でない"が導かれる
7. 事実14から、推論5: "もし仮にあの段階毎は靱帯でないとすれば「それはべた付き易いということはないかあるいは看過し難いかあるいはどちらもである」ということは成り立つということはない"が導かれる
8. 推論4と推論5から、推論6: "「あの段階毎はべた付き易いということはないかあるいは看過し難いかあるいは両方だ」ということは間違っている"が導かれる
9. 事実7から、推論7: "もし「あの段階毎はべた付き易くないかあるいはそれは看過し難いかあるいは両方だ」ということは誤りであるとするとそれは若い"が導かれる
10. 推論6と推論7から、推論8: "あの段階毎は若い"が導かれる
11. 推論8と事実4から、推論9: "その部分集合は犯せる"が導かれる
12. [仮定1]と推論9から、仮説が導かれる

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