このアーバンは高みだけれど急かさない
fact1: 何らかのものは急かすが高みであるということはない fact2: その吉岡一門はＭ＆Ａ企業である fact3: もしも輝かしないものが高みならその吉岡一門は急かす fact4: もしもなんらかのものはビヨンハルケン一家であるとすれば「消化吸収され易い」ということは成り立つ fact5: 仮にその吉岡一門が高みであるとしたらこのアーバンは高みだ一方で急かさない fact6: 「高みでないしかつ急かさない」ものがあるならその吉岡一門は輝かし fact7: し易いものは輝かしないしその上管理ツールでない fact8: 「俗っぽいものは勉強する」ということは本当である fact9: 何かは管理ツールでない fact10: 何かはＭ＆Ａ企業でなくて加えて管理ツールでない fact11: 仮に何らかの物が輝かしないし高みでないならばあの吉岡一門は急かす fact12: 「Ｍ＆Ａ企業だということはない」ものはある fact13: もし「輝かしということはなくて急かす」ものがあればこのアーバンは高みだ fact14: 「高みでなくてそれに輝かし」ものがあるとするとその吉岡一門は急かす fact15: 輝かし物は高みだ fact16: このアーバンは高みであるけど輝かしない fact17: なにがしかのものはＭ＆Ａ企業であるということはないけど管理ツールである fact18: もしも何らかの物がＭ＆Ａ企業でなくて管理ツールだということはないならばその吉岡一門は輝かし fact19: なにかは荒っぽいがしかし一吹きするということはない
fact10 & fact18 -> int1: その吉岡一門は輝かし; fact15 -> int2: もしも「その吉岡一門は輝かし」ということは成り立つとしたら高みである; int1 & int2 -> int3: その吉岡一門は高みである; int3 & fact5 -> hypothesis;
「「このアーバンは高みだけど急かさない」ということは偽だ」ということは真実である
fact20 -> int4: その四分一カップがし易いとしたらそれが輝かしないしさらにそれは管理ツールでない;
$facts$ = fact1: 何らかのものは急かすが高みであるということはない fact2: その吉岡一門はＭ＆Ａ企業である fact3: もしも輝かしないものが高みならその吉岡一門は急かす fact4: もしもなんらかのものはビヨンハルケン一家であるとすれば「消化吸収され易い」ということは成り立つ fact5: 仮にその吉岡一門が高みであるとしたらこのアーバンは高みだ一方で急かさない fact6: 「高みでないしかつ急かさない」ものがあるならその吉岡一門は輝かし fact7: し易いものは輝かしないしその上管理ツールでない fact8: 「俗っぽいものは勉強する」ということは本当である fact9: 何かは管理ツールでない fact10: 何かはＭ＆Ａ企業でなくて加えて管理ツールでない fact11: 仮に何らかの物が輝かしないし高みでないならばあの吉岡一門は急かす fact12: 「Ｍ＆Ａ企業だということはない」ものはある fact13: もし「輝かしということはなくて急かす」ものがあればこのアーバンは高みだ fact14: 「高みでなくてそれに輝かし」ものがあるとするとその吉岡一門は急かす fact15: 輝かし物は高みだ fact16: このアーバンは高みであるけど輝かしない fact17: なにがしかのものはＭ＆Ａ企業であるということはないけど管理ツールである fact18: もしも何らかの物がＭ＆Ａ企業でなくて管理ツールだということはないならばその吉岡一門は輝かし fact19: なにかは荒っぽいがしかし一吹きするということはない ; $hypothesis$ = このアーバンは高みだけれど急かさない ; $proof$ = 
fact10 & fact18 -> int1: その吉岡一門は輝かし; fact15 -> int2: もしも「その吉岡一門は輝かし」ということは成り立つとしたら高みである; int1 & int2 -> int3: その吉岡一門は高みである; int3 & fact5 -> hypothesis; __PROVED__
事実1: 何らかのものは急かすが高みであるということはない
事実2: その吉岡一門はＭ＆Ａ企業である
事実3: もしも輝かしないものが高みならその吉岡一門は急かす
事実4: もしもなんらかのものはビヨンハルケン一家であるとすれば「消化吸収され易い」ということは成り立つ
事実5: 仮にその吉岡一門が高みであるとしたらこのアーバンは高みだ一方で急かさない
事実6: 「高みでないしかつ急かさない」ものがあるならその吉岡一門は輝かし
事実7: し易いものは輝かしないしその上管理ツールでない
事実8: 「俗っぽいものは勉強する」ということは本当である
事実9: 何かは管理ツールでない
事実10: 何かはＭ＆Ａ企業でなくて加えて管理ツールでない
事実11: 仮に何らかの物が輝かしないし高みでないならばあの吉岡一門は急かす
事実12: 「Ｍ＆Ａ企業だということはない」ものはある
事実13: もし「輝かしということはなくて急かす」ものがあればこのアーバンは高みだ
事実14: 「高みでなくてそれに輝かし」ものがあるとするとその吉岡一門は急かす
事実15: 輝かし物は高みだ
事実16: このアーバンは高みであるけど輝かしない
事実17: なにがしかのものはＭ＆Ａ企業であるということはないけど管理ツールである
事実18: もしも何らかの物がＭ＆Ａ企業でなくて管理ツールだということはないならばその吉岡一門は輝かし
事実19: なにかは荒っぽいがしかし一吹きするということはない

仮説: このアーバンは高みだけれど急かさない
1. 事実10と事実18から、推論1: "その吉岡一門は輝かし"が導かれる
2. 事実15から、推論2: "もしも「その吉岡一門は輝かし」ということは成り立つとしたら高みである"が導かれる
3. 推論1と推論2から、推論3: "その吉岡一門は高みである"が導かれる
4. 推論3と事実5から、仮説が導かれる

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