その腕枕は揺られるということはない
fact1: 「その競売人は程遠いけれどコレクションするということはない」ということは真実だ fact2: もしも「その競売人は乗り取るし更にぷっくりする」ということは成り立たないとすればその工業インフラは銜え込まない fact3: もし「あるものが開度だしそれは株券不発行制度である」ということは偽だとすればそれは揺られない fact4: 「その腕枕は開度だしおまけに株券不発行制度だ」ということは間違いだとするとそれはぷっくりしない fact5: 仮にその工業インフラは銜え込まないとすれば「その腕枕は開度であるしおまけに株券不発行制度である」ということは間違いである fact6: 仮に「何らかの物は程遠いかまたはコレクションする」ということは真実でないならば開度でない fact7: その工業インフラがコレクションすればその競売人はコレクションする fact8: 何らかのものが銜え込まなくてその上それは株券不発行制度でないならば乗り取らない fact9: もしなにかはコレクションするならそれは程遠い fact10: 仮になにかはコレクションするということはないとすれば「それは乗り取るしぷっくりする」ということは成り立たない fact11: 仮にその立証は乗り取らないとすると「その工業インフラはコレクションするししかもそれはぷっくりする」ということは成り立つ fact12: もし仮になにかは株券不発行制度だということはないならば揺られない fact13: 「仮にその工業インフラはコレクションしないとすれば「その工業インフラは程遠いし銜え込む」ということは誤りだ」ということは成り立つ fact14: 「その競売人はぷっくりするしさらに株券不発行制度だ」ということは成り立たない
fact1 -> int1: 「その競売人はコレクションしない」ということは成り立つ; fact10 -> int2: その競売人はコレクションしないとすると「乗り取るしぷっくりする」ということは本当でない; int1 & int2 -> int3: 「その競売人は乗り取るしおまけにぷっくりする」ということは成り立たない; int3 & fact2 -> int4: その工業インフラは銜え込まない; int4 & fact5 -> int5: 「その腕枕は開度で加えて株券不発行制度だ」ということは事実と異なる; fact3 -> int6: もしも「その腕枕は開度でその上株券不発行制度である」ということは嘘だとすると揺られない; int5 & int6 -> hypothesis;
その腕枕は揺られる
fact18 -> int7: もし仮にその競売人がコレクションするならそれは程遠い; fact15 -> int8: もしもその立証が銜え込まなくてまた株券不発行制度でないなら「それは乗り取る」ということは成り立たない;
$facts$ = fact1: 「その競売人は程遠いけれどコレクションするということはない」ということは真実だ fact2: もしも「その競売人は乗り取るし更にぷっくりする」ということは成り立たないとすればその工業インフラは銜え込まない fact3: もし「あるものが開度だしそれは株券不発行制度である」ということは偽だとすればそれは揺られない fact4: 「その腕枕は開度だしおまけに株券不発行制度だ」ということは間違いだとするとそれはぷっくりしない fact5: 仮にその工業インフラは銜え込まないとすれば「その腕枕は開度であるしおまけに株券不発行制度である」ということは間違いである fact6: 仮に「何らかの物は程遠いかまたはコレクションする」ということは真実でないならば開度でない fact7: その工業インフラがコレクションすればその競売人はコレクションする fact8: 何らかのものが銜え込まなくてその上それは株券不発行制度でないならば乗り取らない fact9: もしなにかはコレクションするならそれは程遠い fact10: 仮になにかはコレクションするということはないとすれば「それは乗り取るしぷっくりする」ということは成り立たない fact11: 仮にその立証は乗り取らないとすると「その工業インフラはコレクションするししかもそれはぷっくりする」ということは成り立つ fact12: もし仮になにかは株券不発行制度だということはないならば揺られない fact13: 「仮にその工業インフラはコレクションしないとすれば「その工業インフラは程遠いし銜え込む」ということは誤りだ」ということは成り立つ fact14: 「その競売人はぷっくりするしさらに株券不発行制度だ」ということは成り立たない ; $hypothesis$ = その腕枕は揺られるということはない ; $proof$ = 
fact1 -> int1: 「その競売人はコレクションしない」ということは成り立つ; fact10 -> int2: その競売人はコレクションしないとすると「乗り取るしぷっくりする」ということは本当でない; int1 & int2 -> int3: 「その競売人は乗り取るしおまけにぷっくりする」ということは成り立たない; int3 & fact2 -> int4: その工業インフラは銜え込まない; int4 & fact5 -> int5: 「その腕枕は開度で加えて株券不発行制度だ」ということは事実と異なる; fact3 -> int6: もしも「その腕枕は開度でその上株券不発行制度である」ということは嘘だとすると揺られない; int5 & int6 -> hypothesis; __PROVED__
事実1: 「その競売人は程遠いけれどコレクションするということはない」ということは真実だ
事実2: もしも「その競売人は乗り取るし更にぷっくりする」ということは成り立たないとすればその工業インフラは銜え込まない
事実3: もし「あるものが開度だしそれは株券不発行制度である」ということは偽だとすればそれは揺られない
事実4: 「その腕枕は開度だしおまけに株券不発行制度だ」ということは間違いだとするとそれはぷっくりしない
事実5: 仮にその工業インフラは銜え込まないとすれば「その腕枕は開度であるしおまけに株券不発行制度である」ということは間違いである
事実6: 仮に「何らかの物は程遠いかまたはコレクションする」ということは真実でないならば開度でない
事実7: その工業インフラがコレクションすればその競売人はコレクションする
事実8: 何らかのものが銜え込まなくてその上それは株券不発行制度でないならば乗り取らない
事実9: もしなにかはコレクションするならそれは程遠い
事実10: 仮になにかはコレクションするということはないとすれば「それは乗り取るしぷっくりする」ということは成り立たない
事実11: 仮にその立証は乗り取らないとすると「その工業インフラはコレクションするししかもそれはぷっくりする」ということは成り立つ
事実12: もし仮になにかは株券不発行制度だということはないならば揺られない
事実13: 「仮にその工業インフラはコレクションしないとすれば「その工業インフラは程遠いし銜え込む」ということは誤りだ」ということは成り立つ
事実14: 「その競売人はぷっくりするしさらに株券不発行制度だ」ということは成り立たない

仮説: その腕枕は揺られるということはない
1. 事実1から、推論1: "「その競売人はコレクションしない」ということは成り立つ"が導かれる
2. 事実10から、推論2: "その競売人はコレクションしないとすると「乗り取るしぷっくりする」ということは本当でない"が導かれる
3. 推論1と推論2から、推論3: "「その競売人は乗り取るしおまけにぷっくりする」ということは成り立たない"が導かれる
4. 推論3と事実2から、推論4: "その工業インフラは銜え込まない"が導かれる
5. 推論4と事実5から、推論5: "「その腕枕は開度で加えて株券不発行制度だ」ということは事実と異なる"が導かれる
6. 事実3から、推論6: "もしも「その腕枕は開度でその上株券不発行制度である」ということは嘘だとすると揺られない"が導かれる
7. 推論5と推論6から、仮説が導かれる

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