「この一致は勝ち易くなくて作文しない」ということは成り立たない
fact1: もしこの一致は填補するとすると「勝ち易いしおまけに作文するということはない」ということは間違っている fact2: 「「このリンパ流は経るしかつ驕る」ということは事実である」ということは成り立たない fact3: もし仮にこの一致は填補するとすれば「勝ち易くなくてそれは作文する」ということは成り立つということはない fact4: 「この一致は勝ち易いということはない一方で作文する」ということは確かでない fact5: もしもあの手形上は高巻かないなら「それは社外流出する」ということは事実である fact6: もし仮にこの皮膚テストが経ないけど驕るならこの一致は高巻く fact7: もし仮に「何らかのものが備考欄だしそれは経る」ということは嘘であるとしたら経ない fact8: もし仮にあの手形上が社外流出するならそのテリアは御安い fact9: 「「この一致は勝ち易いがしかし作文しない」ということは確かだ」ということは成り立たない fact10: 仮になにがしかの物が高巻くとすればそれは勝ち易くなくて加えて作文しない fact11: この皮膚テストは喜ばしい fact12: このリンパ流は通学路であるし加えて危ない fact13: もしもあの対流層が高巻かないならばあの手形上は高巻くかそれは備考欄でない fact14: 仮にこの一致は填補するとすれば「勝ち易くなくてそれは作文しない」ということは誤りである fact15: もし「そのテリアは御安い」ということは事実だとしたら「この一致は填補する」ということは事実である fact16: 仮にあの選挙カーが社外流出するし更に填補するとしたらこの皮膚テストは社外流出しない fact17: もしもこのリンパ流が驕ればあの対流層は高巻くということはない fact18: もし「あの選挙カーは驕るということはない」ということは成り立つとしたら「このリンパ流は経るしそれにそれは驕る」ということは確かでない fact19: この皮膚テストが喜ばしくてかつそれが遠いとするとあの選挙カーは驕らない fact20: もし仮にあの選挙カーは驕らないとすれば「このリンパ流は経るが驕らない」ということは間違いである fact21: 「そのテリアは驕る」ということは成り立つ fact22: もしもなにかは社外流出しないとすると「備考欄であるし経る」ということは誤っている fact23: この皮膚テストは喜ばしいし遠い fact24: 「あの選挙カーは社外流出するし填補する」ということは成り立つ fact25: もし「あの手形上は高巻かないかまたは備考欄でないかあるいは両方だ」ということは確かであるとしたらそれは社外流出する fact26: あの手形上は高巻くかあるいは備考欄でないか両方だ fact27: 「このリンパ流は経るけれど驕らない」ということは事実と異なるならあの対流層は高巻くということはない fact28: もし仮にあの対流層が高巻くということはないならあの手形上は高巻かないかあるいはそれは備考欄でない fact29: もしもこのリンパ流が勝ち易いとすればあの一致は驕る
fact19 & fact23 -> int1: あの選挙カーは驕らない; int1 & fact20 -> int2: 「このリンパ流は経るけど驕るということはない」ということは誤りである; int2 & fact27 -> int3: あの対流層は高巻かない; int3 & fact28 -> int4: あの手形上は高巻くということはないかもしくは備考欄でないかまたはどちらもである; int4 & fact25 -> int5: あの手形上は社外流出する; int5 & fact8 -> int6: そのテリアは御安い; int6 & fact15 -> int7: この一致は填補する; int7 & fact14 -> hypothesis;
この一致は勝ち易くないしさらに作文しない
fact34 -> int8: もしこの一致が高巻くとしたら勝ち易くないしさらに作文するということはない; fact33 -> int9: もしも「この皮膚テストは備考欄だしそれに経る」ということは事実と異なるとするとそれは経るということはない; fact32 -> int10: もしこの皮膚テストは社外流出するということはないなら「それは備考欄だしかつ経る」ということは誤りだ; fact35 & fact31 -> int11: 「この皮膚テストは社外流出しない」ということは真実だ; int10 & int11 -> int12: 「この皮膚テストは備考欄でまた経る」ということは事実と異なる; int9 & int12 -> int13: この皮膚テストは経ない;
$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: 「あの選挙カーは社外流出するし填補する」ということは成り立つ fact25: もし「あの手形上は高巻かないかまたは備考欄でないかあるいは両方だ」ということは確かであるとしたらそれは社外流出する fact26: あの手形上は高巻くかあるいは備考欄でないか両方だ fact27: 「このリンパ流は経るけれど驕らない」ということは事実と異なるならあの対流層は高巻くということはない fact28: もし仮にあの対流層が高巻くということはないならあの手形上は高巻かないかあるいはそれは備考欄でない fact29: もしもこのリンパ流が勝ち易いとすればあの一致は驕る ; $hypothesis$ = 「この一致は勝ち易くなくて作文しない」ということは成り立たない ; $proof$ = 
fact19 & fact23 -> int1: あの選挙カーは驕らない; int1 & fact20 -> int2: 「このリンパ流は経るけど驕るということはない」ということは誤りである; int2 & fact27 -> int3: あの対流層は高巻かない; int3 & fact28 -> int4: あの手形上は高巻くということはないかもしくは備考欄でないかまたはどちらもである; int4 & fact25 -> int5: あの手形上は社外流出する; int5 & fact8 -> int6: そのテリアは御安い; int6 & fact15 -> int7: この一致は填補する; int7 & fact14 -> 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: 「あの選挙カーは社外流出するし填補する」ということは成り立つ
事実25: もし「あの手形上は高巻かないかまたは備考欄でないかあるいは両方だ」ということは確かであるとしたらそれは社外流出する
事実26: あの手形上は高巻くかあるいは備考欄でないか両方だ
事実27: 「このリンパ流は経るけれど驕らない」ということは事実と異なるならあの対流層は高巻くということはない
事実28: もし仮にあの対流層が高巻くということはないならあの手形上は高巻かないかあるいはそれは備考欄でない
事実29: もしもこのリンパ流が勝ち易いとすればあの一致は驕る

仮説: 「この一致は勝ち易くなくて作文しない」ということは成り立たない
1. 事実19と事実23から、推論1: "あの選挙カーは驕らない"が導かれる
2. 推論1と事実20から、推論2: "「このリンパ流は経るけど驕るということはない」ということは誤りである"が導かれる
3. 推論2と事実27から、推論3: "あの対流層は高巻かない"が導かれる
4. 推論3と事実28から、推論4: "あの手形上は高巻くということはないかもしくは備考欄でないかまたはどちらもである"が導かれる
5. 推論4と事実25から、推論5: "あの手形上は社外流出する"が導かれる
6. 推論5と事実8から、推論6: "そのテリアは御安い"が導かれる
7. 推論6と事実15から、推論7: "この一致は填補する"が導かれる
8. 推論7と事実14から、仮説が導かれる

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