このベースは第六救援隊であるし更にそれは中古住宅ストックである
fact1: 仮に「あるものはメモリアルデーであるけど遭難しない」ということは真実でないとすると中古住宅ストックだ fact2: なにかは中古住宅ストックであるとすれば遠し fact3: もしもある物は広ししまた遠しとしたら言い淀まない fact4: この甘え声が中古住宅ストックだとするとその標準的治療は中古住宅ストックだ fact5: 「「着底しなくて繁殖し易くない」ということは偽である」物はある fact6: もしもこの食物中が第六救援隊ならばその標準的治療は軽い fact7: 「この食物中は広しない」ということは間違いでないなら「このベースは第六救援隊であるしそれに中古住宅ストックだ」ということは誤りだ fact8: この甘え声は遭わせば「メモリアルデーだしまた遭難しない」ということは成り立たない fact9: もし仮にこの甘え声は遠しし軽いとしたら「この魏書は第六救援隊でない」ということは成り立つ fact10: もしもこの魏書が第六救援隊でないならこのベースは第六救援隊でそれは中古住宅ストックだ fact11: この甘え声は言い淀む fact12: もしとあるものが灰色っぽいとすれば軽い fact13: 仮にこの食物中が広しならばこの甘え声は遠し fact14: もしも「「着底しないし繁殖し易くない」ということは成り立たない」物があるとするとこの食物中は広し fact15: もし「この食物中は灰色っぽくないしそれに第六救援隊でない」ということは間違っているとすれば第六救援隊である fact16: 「この食物中は灰色っぽくないし第六救援隊でない」ということは嘘だ fact17: もし「「メモリアルデーでない一方で言い淀む」ということは間違いな」ものがあるとしたらこの食物中は灰色っぽい fact18: 「この甘え声はメモリアルデーであるということはないがそれは言い淀む」ということは事実と異なる fact19: もしも「この甘え声は言い淀む」ということは誤りであるということはないならそれは灰色っぽい
fact5 & fact14 -> int1: この食物中は広し; int1 & fact13 -> int2: この甘え声は遠し; fact11 & fact19 -> int3: 「この甘え声は灰色っぽい」ということは成り立つ; fact12 -> int4: この甘え声が灰色っぽいとすると軽い; int3 & int4 -> int5: 「この甘え声は軽い」ということは本当だ; int2 & int5 -> int6: この甘え声は遠しし軽い; int6 & fact9 -> int7: この魏書は第六救援隊でない; int7 & fact10 -> hypothesis;
その標準的治療は言い淀まない
fact21 -> int8: もしもその標準的治療は広しし遠しとしたら言い淀まない; fact20 & fact22 -> int9: この食物中は第六救援隊である; fact24 & int9 -> int10: その標準的治療は軽い; fact25 -> int11: もしその標準的治療は中古住宅ストックであるなら「それは遠し」ということは真実である; fact26 -> int12: 「この甘え声はメモリアルデーだがそれは遭難しない」ということは偽であるならば中古住宅ストックだ;
$facts$ = fact1: 仮に「あるものはメモリアルデーであるけど遭難しない」ということは真実でないとすると中古住宅ストックだ fact2: なにかは中古住宅ストックであるとすれば遠し fact3: もしもある物は広ししまた遠しとしたら言い淀まない fact4: この甘え声が中古住宅ストックだとするとその標準的治療は中古住宅ストックだ fact5: 「「着底しなくて繁殖し易くない」ということは偽である」物はある fact6: もしもこの食物中が第六救援隊ならばその標準的治療は軽い fact7: 「この食物中は広しない」ということは間違いでないなら「このベースは第六救援隊であるしそれに中古住宅ストックだ」ということは誤りだ fact8: この甘え声は遭わせば「メモリアルデーだしまた遭難しない」ということは成り立たない fact9: もし仮にこの甘え声は遠しし軽いとしたら「この魏書は第六救援隊でない」ということは成り立つ fact10: もしもこの魏書が第六救援隊でないならこのベースは第六救援隊でそれは中古住宅ストックだ fact11: この甘え声は言い淀む fact12: もしとあるものが灰色っぽいとすれば軽い fact13: 仮にこの食物中が広しならばこの甘え声は遠し fact14: もしも「「着底しないし繁殖し易くない」ということは成り立たない」物があるとするとこの食物中は広し fact15: もし「この食物中は灰色っぽくないしそれに第六救援隊でない」ということは間違っているとすれば第六救援隊である fact16: 「この食物中は灰色っぽくないし第六救援隊でない」ということは嘘だ fact17: もし「「メモリアルデーでない一方で言い淀む」ということは間違いな」ものがあるとしたらこの食物中は灰色っぽい fact18: 「この甘え声はメモリアルデーであるということはないがそれは言い淀む」ということは事実と異なる fact19: もしも「この甘え声は言い淀む」ということは誤りであるということはないならそれは灰色っぽい ; $hypothesis$ = このベースは第六救援隊であるし更にそれは中古住宅ストックである ; $proof$ = 
fact5 & fact14 -> int1: この食物中は広し; int1 & fact13 -> int2: この甘え声は遠し; fact11 & fact19 -> int3: 「この甘え声は灰色っぽい」ということは成り立つ; fact12 -> int4: この甘え声が灰色っぽいとすると軽い; int3 & int4 -> int5: 「この甘え声は軽い」ということは本当だ; int2 & int5 -> int6: この甘え声は遠しし軽い; int6 & fact9 -> int7: この魏書は第六救援隊でない; int7 & fact10 -> hypothesis; __PROVED__
事実1: 仮に「あるものはメモリアルデーであるけど遭難しない」ということは真実でないとすると中古住宅ストックだ
事実2: なにかは中古住宅ストックであるとすれば遠し
事実3: もしもある物は広ししまた遠しとしたら言い淀まない
事実4: この甘え声が中古住宅ストックだとするとその標準的治療は中古住宅ストックだ
事実5: 「「着底しなくて繁殖し易くない」ということは偽である」物はある
事実6: もしもこの食物中が第六救援隊ならばその標準的治療は軽い
事実7: 「この食物中は広しない」ということは間違いでないなら「このベースは第六救援隊であるしそれに中古住宅ストックだ」ということは誤りだ
事実8: この甘え声は遭わせば「メモリアルデーだしまた遭難しない」ということは成り立たない
事実9: もし仮にこの甘え声は遠しし軽いとしたら「この魏書は第六救援隊でない」ということは成り立つ
事実10: もしもこの魏書が第六救援隊でないならこのベースは第六救援隊でそれは中古住宅ストックだ
事実11: この甘え声は言い淀む
事実12: もしとあるものが灰色っぽいとすれば軽い
事実13: 仮にこの食物中が広しならばこの甘え声は遠し
事実14: もしも「「着底しないし繁殖し易くない」ということは成り立たない」物があるとするとこの食物中は広し
事実15: もし「この食物中は灰色っぽくないしそれに第六救援隊でない」ということは間違っているとすれば第六救援隊である
事実16: 「この食物中は灰色っぽくないし第六救援隊でない」ということは嘘だ
事実17: もし「「メモリアルデーでない一方で言い淀む」ということは間違いな」ものがあるとしたらこの食物中は灰色っぽい
事実18: 「この甘え声はメモリアルデーであるということはないがそれは言い淀む」ということは事実と異なる
事実19: もしも「この甘え声は言い淀む」ということは誤りであるということはないならそれは灰色っぽい

仮説: このベースは第六救援隊であるし更にそれは中古住宅ストックである
1. 事実5と事実14から、推論1: "この食物中は広し"が導かれる
2. 推論1と事実13から、推論2: "この甘え声は遠し"が導かれる
3. 事実11と事実19から、推論3: "「この甘え声は灰色っぽい」ということは成り立つ"が導かれる
4. 事実12から、推論4: "この甘え声が灰色っぽいとすると軽い"が導かれる
5. 推論3と推論4から、推論5: "「この甘え声は軽い」ということは本当だ"が導かれる
6. 推論2と推論5から、推論6: "この甘え声は遠しし軽い"が導かれる
7. 推論6と事実9から、推論7: "この魏書は第六救援隊でない"が導かれる
8. 推論7と事実10から、仮説が導かれる

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