「あの監査委員以外は僻みっぽい」ということは真実である
fact1: あの不動産公正取り引き協議会はファイル記述子だ fact2: もしあの社会風潮が用いないとすればあの里親は用いない fact3: もし仮にある物が崩御だしファイル記述子だとしたらあの里親は答え難い fact4: 「「その対人は考え辛くないかあるいは用いるかまたは両方ともだ」ということは本当である」ということは事実と異なる fact5: もし仮にあの里親が考え辛いとしたらあの監査委員以外は上がり易い fact6: もし仮に「その対人は考え辛くないかまたは用いるかまたは両方ともだ」ということは嘘であるならあの社会風潮は用いるということはない fact7: あの里親が身請け話でないならあの監査委員以外は僻みっぽい fact8: あの社会風潮は用いないかまたは答え難いかもしくはどちらもだ fact9: もしも何らかのものは御めでたくないかあるいは裸婦像であるかあるいは両方であるとすればそれは上がり易い fact10: その対人は養殖するかまたはそれは崩御である fact11: 「崩御で更にファイル記述子である」ものはある fact12: もしも「あの里親は意識化しないしファイル記述子だということはない」ということは正しくないなら「考え辛い」ということは誤りでない fact13: 仮に「用いるしまた上がり易い」物があるとしたらその対人は身請け話だ fact14: 仮にその対人が用いないとしたら御めでたい fact15: 仮に上がり易いものは身請け話であるとしたら僻みっぽいということはない fact16: 仮にあの里親が身請け話であるとすれば御めでたくないかあるいはそれは裸婦像であるかあるいは両方だ fact17: 仮にその対人は上がり易くないとしたら「あの里親は上がり易くない」ということは真実である fact18: もし仮に「あの里親は御めでたいかそれは考え辛いかまたは両方ともだ」ということは偽であるならばその対人は考え辛くない fact19: その対人はファイル記述子だ fact20: あるものが用いないがしかしそれが上がり易いとすれば答え難くない
void -> assump1: 以下のように仮定する。あの里親は身請け話だ; fact16 & assump1 -> int1: あの里親は御めでたくないかあるいは裸婦像である; fact9 -> int2: 仮に「あの里親は御めでたくないかあるいは裸婦像であるかもしくは両方ともである」ということは成り立つとしたらそれは上がり易い; int1 & int2 -> int3: あの里親は上がり易い; fact4 & fact6 -> int4: あの社会風潮は用いない; int4 & fact2 -> int5: あの里親は用いない; int3 & int5 -> int6: あの里親は用いないけど上がり易い; fact20 -> int7: もしあの里親は用いないがしかし上がり易いならば答え難くない; int6 & int7 -> int8: あの里親は答え難くない; fact11 & fact3 -> int9: あの里親は答え難い; int8 & int9 -> int10: これは矛盾である; [assump1] & int10 -> int11: あの里親は身請け話でない; int11 & fact7 -> hypothesis;
あの監査委員以外は僻みっぽくない
fact23 -> int12: もしあの監査委員以外は上がり易くて身請け話であるならば「僻みっぽくない」ということは確かだ;
$facts$ = fact1: あの不動産公正取り引き協議会はファイル記述子だ fact2: もしあの社会風潮が用いないとすればあの里親は用いない fact3: もし仮にある物が崩御だしファイル記述子だとしたらあの里親は答え難い fact4: 「「その対人は考え辛くないかあるいは用いるかまたは両方ともだ」ということは本当である」ということは事実と異なる fact5: もし仮にあの里親が考え辛いとしたらあの監査委員以外は上がり易い fact6: もし仮に「その対人は考え辛くないかまたは用いるかまたは両方ともだ」ということは嘘であるならあの社会風潮は用いるということはない fact7: あの里親が身請け話でないならあの監査委員以外は僻みっぽい fact8: あの社会風潮は用いないかまたは答え難いかもしくはどちらもだ fact9: もしも何らかのものは御めでたくないかあるいは裸婦像であるかあるいは両方であるとすればそれは上がり易い fact10: その対人は養殖するかまたはそれは崩御である fact11: 「崩御で更にファイル記述子である」ものはある fact12: もしも「あの里親は意識化しないしファイル記述子だということはない」ということは正しくないなら「考え辛い」ということは誤りでない fact13: 仮に「用いるしまた上がり易い」物があるとしたらその対人は身請け話だ fact14: 仮にその対人が用いないとしたら御めでたい fact15: 仮に上がり易いものは身請け話であるとしたら僻みっぽいということはない fact16: 仮にあの里親が身請け話であるとすれば御めでたくないかあるいはそれは裸婦像であるかあるいは両方だ fact17: 仮にその対人は上がり易くないとしたら「あの里親は上がり易くない」ということは真実である fact18: もし仮に「あの里親は御めでたいかそれは考え辛いかまたは両方ともだ」ということは偽であるならばその対人は考え辛くない fact19: その対人はファイル記述子だ fact20: あるものが用いないがしかしそれが上がり易いとすれば答え難くない ; $hypothesis$ = 「あの監査委員以外は僻みっぽい」ということは真実である ; $proof$ = 
void -> assump1: 以下のように仮定する。あの里親は身請け話だ; fact16 & assump1 -> int1: あの里親は御めでたくないかあるいは裸婦像である; fact9 -> int2: 仮に「あの里親は御めでたくないかあるいは裸婦像であるかもしくは両方ともである」ということは成り立つとしたらそれは上がり易い; int1 & int2 -> int3: あの里親は上がり易い; fact4 & fact6 -> int4: あの社会風潮は用いない; int4 & fact2 -> int5: あの里親は用いない; int3 & int5 -> int6: あの里親は用いないけど上がり易い; fact20 -> int7: もしあの里親は用いないがしかし上がり易いならば答え難くない; int6 & int7 -> int8: あの里親は答え難くない; fact11 & fact3 -> int9: あの里親は答え難い; int8 & int9 -> int10: これは矛盾である; [assump1] & int10 -> int11: あの里親は身請け話でない; int11 & fact7 -> hypothesis; __PROVED__
事実1: あの不動産公正取り引き協議会はファイル記述子だ
事実2: もしあの社会風潮が用いないとすればあの里親は用いない
事実3: もし仮にある物が崩御だしファイル記述子だとしたらあの里親は答え難い
事実4: 「「その対人は考え辛くないかあるいは用いるかまたは両方ともだ」ということは本当である」ということは事実と異なる
事実5: もし仮にあの里親が考え辛いとしたらあの監査委員以外は上がり易い
事実6: もし仮に「その対人は考え辛くないかまたは用いるかまたは両方ともだ」ということは嘘であるならあの社会風潮は用いるということはない
事実7: あの里親が身請け話でないならあの監査委員以外は僻みっぽい
事実8: あの社会風潮は用いないかまたは答え難いかもしくはどちらもだ
事実9: もしも何らかのものは御めでたくないかあるいは裸婦像であるかあるいは両方であるとすればそれは上がり易い
事実10: その対人は養殖するかまたはそれは崩御である
事実11: 「崩御で更にファイル記述子である」ものはある
事実12: もしも「あの里親は意識化しないしファイル記述子だということはない」ということは正しくないなら「考え辛い」ということは誤りでない
事実13: 仮に「用いるしまた上がり易い」物があるとしたらその対人は身請け話だ
事実14: 仮にその対人が用いないとしたら御めでたい
事実15: 仮に上がり易いものは身請け話であるとしたら僻みっぽいということはない
事実16: 仮にあの里親が身請け話であるとすれば御めでたくないかあるいはそれは裸婦像であるかあるいは両方だ
事実17: 仮にその対人は上がり易くないとしたら「あの里親は上がり易くない」ということは真実である
事実18: もし仮に「あの里親は御めでたいかそれは考え辛いかまたは両方ともだ」ということは偽であるならばその対人は考え辛くない
事実19: その対人はファイル記述子だ
事実20: あるものが用いないがしかしそれが上がり易いとすれば答え難くない

仮説: 「あの監査委員以外は僻みっぽい」ということは真実である
1. 仮定1: 以下のように仮定する。あの里親は身請け話だ
2. 事実16と仮定1から、推論1: "あの里親は御めでたくないかあるいは裸婦像である"が導かれる
3. 事実9から、推論2: "仮に「あの里親は御めでたくないかあるいは裸婦像であるかもしくは両方ともである」ということは成り立つとしたらそれは上がり易い"が導かれる
4. 推論1と推論2から、推論3: "あの里親は上がり易い"が導かれる
5. 事実4と事実6から、推論4: "あの社会風潮は用いない"が導かれる
6. 推論4と事実2から、推論5: "あの里親は用いない"が導かれる
7. 推論3と推論5から、推論6: "あの里親は用いないけど上がり易い"が導かれる
8. 事実20から、推論7: "もしあの里親は用いないがしかし上がり易いならば答え難くない"が導かれる
9. 推論6と推論7から、推論8: "あの里親は答え難くない"が導かれる
10. 事実11と事実3から、推論9: "あの里親は答え難い"が導かれる
11. 推論8と推論9から、推論10: "これは矛盾である"が導かれる
12. [仮定1]と推論10から、推論11: "あの里親は身請け話でない"が導かれる
13. 推論11と事実7から、仮説が導かれる

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