何らかの物は退行性変化でなくてかつ著しかない
fact1: もし仮に「この観測は安堵し難くないかあるいは親しみ易くないかもしくは両方である」ということは事実と異なるとしたら雪洞でない fact2: もしもあの低価が安堵し難くないならばあの観測は退行性変化でない fact3: 「この観測は親しみ易い」ということは本当である fact4: もし「この観測は御読みしないかそれは親しみ易くないかどちらもだ」ということは正しくないなら国営でない fact5: 「退行性変化でない」ものはある fact6: 仮に「この観測は著しいしかつ雪洞だ」ということは嘘だとしたらあの低価は退行性変化だということはない fact7: もし「あの低価は安堵し難いし愛くるしい」ということは偽であるとしたら「この観測は退行性変化でない」ということは成り立つ fact8: あのチェンバロが愛くるしくないならばあの低価は愛くるしくない fact9: あの低価は雪洞だということはない fact10: その鰤セットは著しかない fact11: 仮に「なにがしかのものは渡米しなくてその上安堵し難いということはない」ということは確かでないならばそれは安堵し難い fact12: 仮に「この観測は雪洞でないかまたは親しみ易いかあるいは両方ともである」ということは成り立たないとすれば「著しかない」ということは真実である fact13: もし「あの低価は安堵し難くてまた著しい」ということは誤りであるとすればこの観測は退行性変化でない fact14: 「この観測は雪洞でないかまたは親しみ易くないかあるいは両方ともだ」ということは間違っている fact15: もし「この観測は雪洞でないかあるいは親しみ易くない」ということは成り立たないならそれは著しかない fact16: もし「この気候風土は断定し難いということはないかまたは利用しないかもしくは両方ともである」ということは成り立たないならそれは上がり難くない fact17: 「この観測は親しみ易いしその上いがらっぽい」ということは誤りである fact18: とある物は著しかない fact19: もしあのチェンバロは遠過ぎるとしたら「それは渡米しなくて加えて安堵し難くない」ということは事実と異なる fact20: もしもあのチェンバロは百四十／九十ミリメートルＨＧ未満であるとしたら「遠過ぎる」ということは成り立つ fact21: 「あの低価は安堵し難くてかつ愛くるしい」ということは誤りである fact22: あのチェンバロは百四十／九十ミリメートルＨＧ未満である fact23: 著しいということはない退行性変化はある fact24: 仮になにがしかのものが安堵し難いならそれは愛くるしくないかまたは問われ兼ねらないかまたはどちらもである
fact15 & fact14 -> int1: この観測は著しかない; fact7 & fact21 -> int2: この観測は退行性変化でない; int1 & int2 -> int3: この観測は退行性変化でないしさらにそれは著しかない; int3 -> hypothesis;
「その由縁は三月末日でないかあるいは怪しくないか両方ともである」ということは成り立たない
fact29 -> int4: あのチェンバロが安堵し難いとすると愛くるしくないかあるいは問われ兼ねらないかもしくは両方ともである; fact30 -> int5: 「あのチェンバロは渡米しないしまたそれは安堵し難くない」ということは成り立たないとすればそれは安堵し難い; fact27 & fact26 -> int6: あのチェンバロは遠過ぎる; fact25 & int6 -> int7: 「あのチェンバロは渡米しないしそれに安堵し難いということはない」ということは成り立たない; int5 & int7 -> int8: あのチェンバロは安堵し難い; int4 & int8 -> 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: 仮になにがしかのものが安堵し難いならそれは愛くるしくないかまたは問われ兼ねらないかまたはどちらもである ; $hypothesis$ = 何らかの物は退行性変化でなくてかつ著しかない ; $proof$ = 
fact15 & fact14 -> int1: この観測は著しかない; fact7 & fact21 -> int2: この観測は退行性変化でない; int1 & int2 -> int3: この観測は退行性変化でないしさらにそれは著しかない; int3 -> 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. 事実15と事実14から、推論1: "この観測は著しかない"が導かれる
2. 事実7と事実21から、推論2: "この観測は退行性変化でない"が導かれる
3. 推論1と推論2から、推論3: "この観測は退行性変化でないしさらにそれは著しかない"が導かれる
4. 推論3から、仮説が導かれる

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