あのラ音は眼色でない
fact1: あのラ音は与え易くて判別し易いとするとそれは傍証しない fact2: もし仮にあの制限物権はアナウンスするし加えて一方であるとしたらそれは画策しない fact3: あのラ音は止まり続ける fact4: あのラ音は判別し易い fact5: 仮に判別し易いものが止まり続けるとするとそれは眼色でない fact6: もしなんらかのものは事故報告義務でないとすれば「判別し易いしそれは止まり続けない」ということは事実と異なる fact7: あのラ音は一個人でない fact8: あのラ音は木目細かいし頼もしい fact9: 「仮に「その事件発生は判別し易いけれどそれは止まり続けない」ということは誤りならあのラ音は眼色だ」ということは正しい fact10: あの改租事業は判別し易いしそれに翁さびである fact11: あの福祉行政は眼色である fact12: もし仮にあのラ音が人間らしいし購入出来るとするとそれは激しくない fact13: もし仮にその中山競馬場が眼色であるし起こり易いなら「それは重ね着でない」ということは真実である fact14: あのラ音は酒臭い
fact4 & fact3 -> int1: あのラ音は判別し易いしかつ止まり続ける; fact5 -> int2: もし仮に「あのラ音は判別し易いし加えて止まり続ける」ということは本当だとするとそれは眼色でない; int1 & int2 -> hypothesis;
「あのラ音は眼色だ」ということは真実だ
fact16 -> int3: 仮にその事件発生は事故報告義務でないとすると「判別し易いけど止まり続けない」ということは成り立たない;
$facts$ = fact1: あのラ音は与え易くて判別し易いとするとそれは傍証しない fact2: もし仮にあの制限物権はアナウンスするし加えて一方であるとしたらそれは画策しない fact3: あのラ音は止まり続ける fact4: あのラ音は判別し易い fact5: 仮に判別し易いものが止まり続けるとするとそれは眼色でない fact6: もしなんらかのものは事故報告義務でないとすれば「判別し易いしそれは止まり続けない」ということは事実と異なる fact7: あのラ音は一個人でない fact8: あのラ音は木目細かいし頼もしい fact9: 「仮に「その事件発生は判別し易いけれどそれは止まり続けない」ということは誤りならあのラ音は眼色だ」ということは正しい fact10: あの改租事業は判別し易いしそれに翁さびである fact11: あの福祉行政は眼色である fact12: もし仮にあのラ音が人間らしいし購入出来るとするとそれは激しくない fact13: もし仮にその中山競馬場が眼色であるし起こり易いなら「それは重ね着でない」ということは真実である fact14: あのラ音は酒臭い ; $hypothesis$ = あのラ音は眼色でない ; $proof$ = 
fact4 & fact3 -> int1: あのラ音は判別し易いしかつ止まり続ける; fact5 -> int2: もし仮に「あのラ音は判別し易いし加えて止まり続ける」ということは本当だとするとそれは眼色でない; int1 & int2 -> hypothesis; __PROVED__
事実1: あのラ音は与え易くて判別し易いとするとそれは傍証しない
事実2: もし仮にあの制限物権はアナウンスするし加えて一方であるとしたらそれは画策しない
事実3: あのラ音は止まり続ける
事実4: あのラ音は判別し易い
事実5: 仮に判別し易いものが止まり続けるとするとそれは眼色でない
事実6: もしなんらかのものは事故報告義務でないとすれば「判別し易いしそれは止まり続けない」ということは事実と異なる
事実7: あのラ音は一個人でない
事実8: あのラ音は木目細かいし頼もしい
事実9: 「仮に「その事件発生は判別し易いけれどそれは止まり続けない」ということは誤りならあのラ音は眼色だ」ということは正しい
事実10: あの改租事業は判別し易いしそれに翁さびである
事実11: あの福祉行政は眼色である
事実12: もし仮にあのラ音が人間らしいし購入出来るとするとそれは激しくない
事実13: もし仮にその中山競馬場が眼色であるし起こり易いなら「それは重ね着でない」ということは真実である
事実14: あのラ音は酒臭い

仮説: あのラ音は眼色でない
1. 事実4と事実3から、推論1: "あのラ音は判別し易いしかつ止まり続ける"が導かれる
2. 事実5から、推論2: "もし仮に「あのラ音は判別し易いし加えて止まり続ける」ということは本当だとするとそれは眼色でない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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