その中国原産は貧乏臭くない
fact1: もし「あの赤毛は播淡汽船であるかあるいは防止しないかあるいはどちらもである」ということは真実でないとすると滑り易くない fact2: もし仮にその十数人は雪中でないならば「あの赤毛は播淡汽船であるかまたはそれは防止しない」ということは嘘である fact3: もしも「この運用結果は価格政策でなくてまた職業生活でない」ということは間違いであるとすればあの中国原産は貧乏臭くない fact4: もしもその事件記録が遊弋しないとしたらこの運用結果は二十四文字でない fact5: 「もし仮にあの赤毛は職業生活だけれど遊弋しないならば「その十数人は遊弋する」ということは間違いであるということはない」ということは確かだ fact6: もしも「何らかの物は滑り易いということはない」ということは成り立つとすればそれは貧乏臭くて加えて雪中だ fact7: 何かは遊弋するとするとアラストールでなくてそれに浸けない fact8: もし仮にあの赤毛が価格政策でないとすれば二十四文字でなくて遊弋しない fact9: あの赤毛は浸ける fact10: その十数人は雪中でない fact11: もしもその十数人はアラストールでないしさらに浸けないとすると「その中国原産は滑り易くない」ということは成り立つ fact12: その事件記録が播淡汽船でないとすればあの赤毛は遊弋する fact13: あの赤毛がアラストールならその事件記録は遊弋しない fact14: なにがしかのものは二十四文字でないなら「価格政策でないししかも職業生活でない」ということは正しくない fact15: 何かは滑り易くないけど浸けるとしたらそれはアラストールである fact16: あの合衆国最高裁は浸ける
fact2 & fact10 -> int1: 「あの赤毛は播淡汽船であるかもしくは防止するということはないかまたは両方ともである」ということは誤りだ; int1 & fact1 -> int2: 「あの赤毛は滑り易くない」ということは成り立つ; int2 & fact9 -> int3: あの赤毛は滑り易いということはないけれど浸ける; fact15 -> int4: もし仮にあの赤毛は滑り易くないが浸けるとしたら「アラストールである」ということは成り立つ; int3 & int4 -> int5: あの赤毛はアラストールだ; int5 & fact13 -> int6: その事件記録は遊弋しない; int6 & fact4 -> int7: この運用結果は二十四文字であるということはない; fact14 -> int8: もしもこの運用結果は二十四文字でないとすれば「価格政策でないし職業生活でない」ということは成り立たない; int7 & int8 -> int9: 「この運用結果は価格政策でなくてそれは職業生活でない」ということは間違いだ; int9 & fact3 -> hypothesis;
その中国原産は貧乏臭い
fact21 -> int10: 「その中国原産は滑り易くない」ということは本当であるならばそれが貧乏臭いしその上雪中である; fact17 -> int11: もしも「その十数人は遊弋する」ということは確かであるならばそれはアラストールでなくて浸けるということはない;
$facts$ = fact1: もし「あの赤毛は播淡汽船であるかあるいは防止しないかあるいはどちらもである」ということは真実でないとすると滑り易くない fact2: もし仮にその十数人は雪中でないならば「あの赤毛は播淡汽船であるかまたはそれは防止しない」ということは嘘である fact3: もしも「この運用結果は価格政策でなくてまた職業生活でない」ということは間違いであるとすればあの中国原産は貧乏臭くない fact4: もしもその事件記録が遊弋しないとしたらこの運用結果は二十四文字でない fact5: 「もし仮にあの赤毛は職業生活だけれど遊弋しないならば「その十数人は遊弋する」ということは間違いであるということはない」ということは確かだ fact6: もしも「何らかの物は滑り易いということはない」ということは成り立つとすればそれは貧乏臭くて加えて雪中だ fact7: 何かは遊弋するとするとアラストールでなくてそれに浸けない fact8: もし仮にあの赤毛が価格政策でないとすれば二十四文字でなくて遊弋しない fact9: あの赤毛は浸ける fact10: その十数人は雪中でない fact11: もしもその十数人はアラストールでないしさらに浸けないとすると「その中国原産は滑り易くない」ということは成り立つ fact12: その事件記録が播淡汽船でないとすればあの赤毛は遊弋する fact13: あの赤毛がアラストールならその事件記録は遊弋しない fact14: なにがしかのものは二十四文字でないなら「価格政策でないししかも職業生活でない」ということは正しくない fact15: 何かは滑り易くないけど浸けるとしたらそれはアラストールである fact16: あの合衆国最高裁は浸ける ; $hypothesis$ = その中国原産は貧乏臭くない ; $proof$ = 
fact2 & fact10 -> int1: 「あの赤毛は播淡汽船であるかもしくは防止するということはないかまたは両方ともである」ということは誤りだ; int1 & fact1 -> int2: 「あの赤毛は滑り易くない」ということは成り立つ; int2 & fact9 -> int3: あの赤毛は滑り易いということはないけれど浸ける; fact15 -> int4: もし仮にあの赤毛は滑り易くないが浸けるとしたら「アラストールである」ということは成り立つ; int3 & int4 -> int5: あの赤毛はアラストールだ; int5 & fact13 -> int6: その事件記録は遊弋しない; int6 & fact4 -> int7: この運用結果は二十四文字であるということはない; fact14 -> int8: もしもこの運用結果は二十四文字でないとすれば「価格政策でないし職業生活でない」ということは成り立たない; int7 & int8 -> int9: 「この運用結果は価格政策でなくてそれは職業生活でない」ということは間違いだ; int9 & fact3 -> hypothesis; __PROVED__
事実1: もし「あの赤毛は播淡汽船であるかあるいは防止しないかあるいはどちらもである」ということは真実でないとすると滑り易くない
事実2: もし仮にその十数人は雪中でないならば「あの赤毛は播淡汽船であるかまたはそれは防止しない」ということは嘘である
事実3: もしも「この運用結果は価格政策でなくてまた職業生活でない」ということは間違いであるとすればあの中国原産は貧乏臭くない
事実4: もしもその事件記録が遊弋しないとしたらこの運用結果は二十四文字でない
事実5: 「もし仮にあの赤毛は職業生活だけれど遊弋しないならば「その十数人は遊弋する」ということは間違いであるということはない」ということは確かだ
事実6: もしも「何らかの物は滑り易いということはない」ということは成り立つとすればそれは貧乏臭くて加えて雪中だ
事実7: 何かは遊弋するとするとアラストールでなくてそれに浸けない
事実8: もし仮にあの赤毛が価格政策でないとすれば二十四文字でなくて遊弋しない
事実9: あの赤毛は浸ける
事実10: その十数人は雪中でない
事実11: もしもその十数人はアラストールでないしさらに浸けないとすると「その中国原産は滑り易くない」ということは成り立つ
事実12: その事件記録が播淡汽船でないとすればあの赤毛は遊弋する
事実13: あの赤毛がアラストールならその事件記録は遊弋しない
事実14: なにがしかのものは二十四文字でないなら「価格政策でないししかも職業生活でない」ということは正しくない
事実15: 何かは滑り易くないけど浸けるとしたらそれはアラストールである
事実16: あの合衆国最高裁は浸ける

仮説: その中国原産は貧乏臭くない
1. 事実2と事実10から、推論1: "「あの赤毛は播淡汽船であるかもしくは防止するということはないかまたは両方ともである」ということは誤りだ"が導かれる
2. 推論1と事実1から、推論2: "「あの赤毛は滑り易くない」ということは成り立つ"が導かれる
3. 推論2と事実9から、推論3: "あの赤毛は滑り易いということはないけれど浸ける"が導かれる
4. 事実15から、推論4: "もし仮にあの赤毛は滑り易くないが浸けるとしたら「アラストールである」ということは成り立つ"が導かれる
5. 推論3と推論4から、推論5: "あの赤毛はアラストールだ"が導かれる
6. 推論5と事実13から、推論6: "その事件記録は遊弋しない"が導かれる
7. 推論6と事実4から、推論7: "この運用結果は二十四文字であるということはない"が導かれる
8. 事実14から、推論8: "もしもこの運用結果は二十四文字でないとすれば「価格政策でないし職業生活でない」ということは成り立たない"が導かれる
9. 推論7と推論8から、推論9: "「この運用結果は価格政策でなくてそれは職業生活でない」ということは間違いだ"が導かれる
10. 推論9と事実3から、仮説が導かれる

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