このバス会社は齎し易い
fact1: 「酸っぱい」ものはある fact2: もしなにがしかのものが断り難いとしたらそれは齎し易い fact3: 「何らかのものは出入りし易い」ということは正しい fact4: もし仮になんらかの物が遣り辛いとするとそれは断り難い fact5: もしもとあるものは青系であるとしたらそれは齎し易い fact6: 「このバス会社は断り難くなくておまけに遣り辛くない」ということは間違いだとするとそのメーカー・ブランド戦略は青系である fact7: 「青系な」ものはある fact8: とあるものが青系であるとしたらこのバス会社は遣り辛くない fact9: 仮に「青系である」ものがあるとすればこのバス会社は断り難い一方で遣り辛くない fact10: もしもあの低金利が御訪ねすればこの倫理学は齎し易いけれど断り難くない fact11: もしこの倫理学が齎し易いしその上それは青系なら「このバス会社は齎し易いということはない」ということは正しい fact12: 「遣り辛い」物はあるとすると「このバス会社は断り難いが齎し易いということはない」ということは成り立つ fact13: とある物は感慨深くないしまた勝ち得ない fact14: もし仮にこのバス会社が齎し易いとすると腐り易い fact15: このバス会社は遣り辛くない
fact7 & fact9 -> int1: このバス会社は断り難い一方で遣り辛くない; int1 -> int2: このバス会社は断り難い; fact2 -> int3: もし「このバス会社は断り難い」ということは本当であるとしたらそれは齎し易い; int2 & int3 -> hypothesis;
「そのメーカー・ブランド戦略は齎し易い」ということは成り立つ
fact17 -> int4: もしもそのメーカー・ブランド戦略が青系だとしたらそれは齎し易い;
$facts$ = fact1: 「酸っぱい」ものはある fact2: もしなにがしかのものが断り難いとしたらそれは齎し易い fact3: 「何らかのものは出入りし易い」ということは正しい fact4: もし仮になんらかの物が遣り辛いとするとそれは断り難い fact5: もしもとあるものは青系であるとしたらそれは齎し易い fact6: 「このバス会社は断り難くなくておまけに遣り辛くない」ということは間違いだとするとそのメーカー・ブランド戦略は青系である fact7: 「青系な」ものはある fact8: とあるものが青系であるとしたらこのバス会社は遣り辛くない fact9: 仮に「青系である」ものがあるとすればこのバス会社は断り難い一方で遣り辛くない fact10: もしもあの低金利が御訪ねすればこの倫理学は齎し易いけれど断り難くない fact11: もしこの倫理学が齎し易いしその上それは青系なら「このバス会社は齎し易いということはない」ということは正しい fact12: 「遣り辛い」物はあるとすると「このバス会社は断り難いが齎し易いということはない」ということは成り立つ fact13: とある物は感慨深くないしまた勝ち得ない fact14: もし仮にこのバス会社が齎し易いとすると腐り易い fact15: このバス会社は遣り辛くない ; $hypothesis$ = このバス会社は齎し易い ; $proof$ = 
fact7 & fact9 -> int1: このバス会社は断り難い一方で遣り辛くない; int1 -> int2: このバス会社は断り難い; fact2 -> int3: もし「このバス会社は断り難い」ということは本当であるとしたらそれは齎し易い; int2 & int3 -> hypothesis; __PROVED__
事実1: 「酸っぱい」ものはある
事実2: もしなにがしかのものが断り難いとしたらそれは齎し易い
事実3: 「何らかのものは出入りし易い」ということは正しい
事実4: もし仮になんらかの物が遣り辛いとするとそれは断り難い
事実5: もしもとあるものは青系であるとしたらそれは齎し易い
事実6: 「このバス会社は断り難くなくておまけに遣り辛くない」ということは間違いだとするとそのメーカー・ブランド戦略は青系である
事実7: 「青系な」ものはある
事実8: とあるものが青系であるとしたらこのバス会社は遣り辛くない
事実9: 仮に「青系である」ものがあるとすればこのバス会社は断り難い一方で遣り辛くない
事実10: もしもあの低金利が御訪ねすればこの倫理学は齎し易いけれど断り難くない
事実11: もしこの倫理学が齎し易いしその上それは青系なら「このバス会社は齎し易いということはない」ということは正しい
事実12: 「遣り辛い」物はあるとすると「このバス会社は断り難いが齎し易いということはない」ということは成り立つ
事実13: とある物は感慨深くないしまた勝ち得ない
事実14: もし仮にこのバス会社が齎し易いとすると腐り易い
事実15: このバス会社は遣り辛くない

仮説: このバス会社は齎し易い
1. 事実7と事実9から、推論1: "このバス会社は断り難い一方で遣り辛くない"が導かれる
2. 推論1から、推論2: "このバス会社は断り難い"が導かれる
3. 事実2から、推論3: "もし「このバス会社は断り難い」ということは本当であるとしたらそれは齎し易い"が導かれる
4. 推論2と推論3から、仮説が導かれる

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