「この領域規定は寂しい」ということは真実だ
fact1: この重症例は寂しいか破れ難いかあるいはどちらもだ fact2: この領域規定は儒経である fact3: この領域規定は若々しい fact4: 「その四十絡みは若々しかないがしかし寂しい」ということは成り立たないならこの領域規定は寂しかない fact5: 何らかのものは寂しかない fact6: その四十絡みは寂しいかスピード社会であるかまたはどちらもだ fact7: このデフレーターは若々しい fact8: 「儒経でない」ものはある fact9: もしとある物が対流層でないとすればそれは儒経であるしまたそれはスピード社会だということはない fact10: 「若々しかない」物はある fact11: 仮にその四十絡みが儒経であるならばこの領域規定は若々しい fact12: 「スピード社会でない」ものはある fact13: 「若々しい」ものはある fact14: その四十絡みはスピード社会なら「この領域規定は寂しい」ということは成り立つ fact15: その四十絡みは粘っこいかまたは分枝点だ fact16: 仮にその四十絡みが儒経だとすればこの領域規定は寂しい fact17: もしあるものが寂しかないとしたらこの領域規定はスピード社会であるかまたはそれは儒経であるかもしくは両方である fact18: あの一倍速が寂しいならその四十絡みは儒経だ fact19: もしなにかはスピード社会でないとしたら「若々しかない一方で寂しい」ということは間違いである fact20: もしあの一倍速がＤＳＭ‐ＩＶでないがしかし茶化せばその四十絡みは対流層であるということはない fact21: 仮に「若々しかない」物があるとしたらその四十絡みはスピード社会であるかそれは儒経であるかまたは両方だ fact22: 仮に「「スピード社会でない」ということは成り立つ」物があるとしたらこの領域規定は寂しいかまたはそれは儒経であるか両方である fact23: あの一倍速は出入りし易くてまた最判だ fact24: もしもあの一倍速が出入りし易いしおまけにそれが最判ならばＤＳＭ‐ＩＶでない
fact10 & fact21 -> int1: その四十絡みはスピード社会であるかもしくはそれは儒経だ; int1 & fact14 & fact16 -> hypothesis;
fact10 & fact21 -> int1: ({B}{a} v {C}{a}); int1 & fact14 & fact16 -> hypothesis;
この領域規定は寂しかない
fact27 -> int2: もしその四十絡みはスピード社会でないとしたら「若々しかないし寂しい」ということは事実と異なる; fact29 -> int3: その四十絡みが対流層でないとするとそれは儒経であるしかつスピード社会でない; fact26 & fact28 -> int4: あの一倍速はＤＳＭ‐ＩＶでない;
$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$ = 
fact10 & fact21 -> int1: その四十絡みはスピード社会であるかもしくはそれは儒経だ; int1 & fact14 & fact16 -> 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. 事実10と事実21から、推論1: "その四十絡みはスピード社会であるかもしくはそれは儒経だ"が導かれる
2. 推論1と事実14と事実16から、仮説が導かれる

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