「「クルー達だしレストアしない」ということは真実でない」物はある
fact1: 「その裏地はさっぱりしないかあるいは絞り優先ＡＥであるかあるいは両方ともである」ということは偽だとしたらこの必要記載事項は号すない fact2: もしなにがしかの物は見せ始めないとすると「それは速度記録であるしその上縦覧手続きである」ということは成り立たない fact3: 「その前立腺は縦覧手続きであるしアーミテージ報告である」ということは成り立たない fact4: 「仮にあの館が速度記録でないならあの館は縦覧手続きだということはないけれど見せ始める」ということは確かだ fact5: もしもあの情報提供等はさっぱりしないとすれば「あの館はデビューするしレストアする」ということは誤っている fact6: その前立腺はデビューするということはない fact7: あの館は縦覧手続きでないけれど絞り優先ＡＥだ fact8: 「あの情報提供等は見せ始めるがレストアしない」ということは確かでない fact9: 「もしあの情報提供等が絞り優先ＡＥでない一方でそれがクルー達だとするとあの情報提供等はレストアする」ということは成り立つ fact10: 「「クルー達だし更にレストアする」ということは誤りである」物はある fact11: その前立腺はアーミテージ報告だということはないかまたはさっぱりするかあるいはどちらもだ fact12: 「この必要記載事項は縦覧手続きである一方で号すということはない」ということは誤りだ fact13: 「その裏地は速度記録であるしおまけにそれは縦覧手続きだ」ということは成り立たないとすればそれはレストアしない fact14: もしその前立腺が見せ始めるしそれが言外だとするとそれはレストアする fact15: その前立腺は言外でない一方でアーミテージ報告だ fact16: もし仮にその裏地はさっぱりしない一方でデビューすればアーミテージ報告だ fact17: ある物がアーミテージ報告だけどデビューするということはない fact18: もしあの館が言外でないがしかし速度記録ならその裏地は絞り優先ＡＥでない fact19: もし「この必要記載事項は号すない」ということは本当であるなら「あの情報提供等はクルー達であるがそれはレストアするということはない」ということは成り立たない fact20: もしもその前立腺が言外でないけれどアーミテージ報告であるならあの館はデビューしない fact21: もしもあの館は縦覧手続きでないがしかし見せ始めるならデビューする fact22: その裏地はさっぱりする fact23: その裏地は速度記録であるということはないけれどさっぱりする fact24: その裏地がさっぱりしないか絞り優先ＡＥであるかあるいは両方だとするとあの館は速度記録でない fact25: もし仮にあの館は速度記録でないとするとそれはさっぱりするということはない
void -> assump1: 以下のように仮定する。その裏地はさっぱりしないか絞り優先ＡＥであるかまたは両方ともである; fact24 & assump1 -> int1: あの館は速度記録でない; int1 & fact4 -> int2: あの館は縦覧手続きでないけど見せ始める; int2 & fact21 -> int3: あの館はデビューする; fact15 & fact20 -> int4: あの館はデビューしない; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「その裏地はさっぱりするということはないかあるいは絞り優先ＡＥであるかまたは両方である」ということは間違っている; int6 & fact1 -> int7: この必要記載事項は号すない; int7 & fact19 -> int8: 「あの情報提供等はクルー達であるがレストアするということはない」ということは事実と異なる; int8 -> hypothesis;
その裏地はレストアしないがＴ‐ＰＡだ
fact26 -> int9: もし仮にその裏地は見せ始めないとしたら「それは速度記録で縦覧手続きである」ということは偽である;
$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: その裏地がさっぱりしないか絞り優先ＡＥであるかあるいは両方だとするとあの館は速度記録でない fact25: もし仮にあの館は速度記録でないとするとそれはさっぱりするということはない ; $hypothesis$ = 「「クルー達だしレストアしない」ということは真実でない」物はある ; $proof$ = 
void -> assump1: 以下のように仮定する。その裏地はさっぱりしないか絞り優先ＡＥであるかまたは両方ともである; fact24 & assump1 -> int1: あの館は速度記録でない; int1 & fact4 -> int2: あの館は縦覧手続きでないけど見せ始める; int2 & fact21 -> int3: あの館はデビューする; fact15 & fact20 -> int4: あの館はデビューしない; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「その裏地はさっぱりするということはないかあるいは絞り優先ＡＥであるかまたは両方である」ということは間違っている; int6 & fact1 -> int7: この必要記載事項は号すない; int7 & fact19 -> int8: 「あの情報提供等はクルー達であるがレストアするということはない」ということは事実と異なる; int8 -> 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: その裏地がさっぱりしないか絞り優先ＡＥであるかあるいは両方だとするとあの館は速度記録でない
事実25: もし仮にあの館は速度記録でないとするとそれはさっぱりするということはない

仮説: 「「クルー達だしレストアしない」ということは真実でない」物はある
1. 仮定1: 以下のように仮定する。その裏地はさっぱりしないか絞り優先ＡＥであるかまたは両方ともである
2. 事実24と仮定1から、推論1: "あの館は速度記録でない"が導かれる
3. 推論1と事実4から、推論2: "あの館は縦覧手続きでないけど見せ始める"が導かれる
4. 推論2と事実21から、推論3: "あの館はデビューする"が導かれる
5. 事実15と事実20から、推論4: "あの館はデビューしない"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "「その裏地はさっぱりするということはないかあるいは絞り優先ＡＥであるかまたは両方である」ということは間違っている"が導かれる
8. 推論6と事実1から、推論7: "この必要記載事項は号すない"が導かれる
9. 推論7と事実19から、推論8: "「あの情報提供等はクルー達であるがレストアするということはない」ということは事実と異なる"が導かれる
10. 推論8から、仮説が導かれる

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