そのＨＯＳＴテーブルは低空でない
fact1: この消費財は惨たらしい fact2: 仮に惨たらしい物が奔走するとすればそれは感じ易くない fact3: 仮に「その灰燼は奔走しない一方でそれは決め難い」ということは誤りであるなら「この消費財は奔走する」ということは事実だ fact4: 仮に何かは浄書するけど陰気臭くないならばせこいということはない fact5: 「奔走する」ものはある fact6: もし仮にあの海賊放送が取り易くないとすれば改革作業でないかあるいは近付き難くないかあるいは両方だ fact7: 仮にあのミニスーパーはせこくないならばあの海賊放送は動き難くないがしかし取り易い fact8: あの海賊放送は取り易いということはない fact9: あの海賊放送が改革作業であるということはないかもしくは近付き難くないかもしくはどちらもだとするとそのＨＯＳＴテーブルは低空でない fact10: もし仮にこの消費財は感じ易いということはないとすれば「その血行動態は新市場でその上基礎教育である」ということは偽だ fact11: 因り難いものは浄書するがしかし陰気臭くない fact12: もしも「「奔走する」ということは本当な」ものはあるとすると「その灰燼は奔走しないけど決め難い」ということは成り立たない fact13: 仮にあの海賊放送が改革作業でないとするとそのＨＯＳＴテーブルは低空だということはない
fact6 & fact8 -> int1: あの海賊放送は改革作業でないかそれは近付き難くないかもしくは両方である; int1 & fact9 -> hypothesis;
そのＨＯＳＴテーブルは低空だ
fact20 -> int2: もし仮にあのミニスーパーは浄書するがしかし陰気臭くないとすると「「せこい」ということは本当だ」ということは間違いだ; fact22 -> int3: もしもあのミニスーパーが因り難いならそれは浄書するが陰気臭くない; fact19 -> int4: この消費財は惨たらしいし更に奔走すればそれは感じ易いということはない; fact21 & fact18 -> int5: 「その灰燼は奔走しないが決め難い」ということは嘘である; fact17 & int5 -> int6: この消費財は奔走する; fact14 & int6 -> int7: この消費財は惨たらしいし奔走する; int4 & int7 -> int8: この消費財は感じ易くない; fact16 & int8 -> int9: 「その血行動態が新市場だしかつ基礎教育である」ということは誤りだ; int9 -> int10: 「「新市場であるし基礎教育だ」ということは偽な」物はある;
$facts$ = fact1: この消費財は惨たらしい fact2: 仮に惨たらしい物が奔走するとすればそれは感じ易くない fact3: 仮に「その灰燼は奔走しない一方でそれは決め難い」ということは誤りであるなら「この消費財は奔走する」ということは事実だ fact4: 仮に何かは浄書するけど陰気臭くないならばせこいということはない fact5: 「奔走する」ものはある fact6: もし仮にあの海賊放送が取り易くないとすれば改革作業でないかあるいは近付き難くないかあるいは両方だ fact7: 仮にあのミニスーパーはせこくないならばあの海賊放送は動き難くないがしかし取り易い fact8: あの海賊放送は取り易いということはない fact9: あの海賊放送が改革作業であるということはないかもしくは近付き難くないかもしくはどちらもだとするとそのＨＯＳＴテーブルは低空でない fact10: もし仮にこの消費財は感じ易いということはないとすれば「その血行動態は新市場でその上基礎教育である」ということは偽だ fact11: 因り難いものは浄書するがしかし陰気臭くない fact12: もしも「「奔走する」ということは本当な」ものはあるとすると「その灰燼は奔走しないけど決め難い」ということは成り立たない fact13: 仮にあの海賊放送が改革作業でないとするとそのＨＯＳＴテーブルは低空だということはない ; $hypothesis$ = そのＨＯＳＴテーブルは低空でない ; $proof$ = 
fact6 & fact8 -> int1: あの海賊放送は改革作業でないかそれは近付き難くないかもしくは両方である; int1 & fact9 -> hypothesis; __PROVED__
事実1: この消費財は惨たらしい
事実2: 仮に惨たらしい物が奔走するとすればそれは感じ易くない
事実3: 仮に「その灰燼は奔走しない一方でそれは決め難い」ということは誤りであるなら「この消費財は奔走する」ということは事実だ
事実4: 仮に何かは浄書するけど陰気臭くないならばせこいということはない
事実5: 「奔走する」ものはある
事実6: もし仮にあの海賊放送が取り易くないとすれば改革作業でないかあるいは近付き難くないかあるいは両方だ
事実7: 仮にあのミニスーパーはせこくないならばあの海賊放送は動き難くないがしかし取り易い
事実8: あの海賊放送は取り易いということはない
事実9: あの海賊放送が改革作業であるということはないかもしくは近付き難くないかもしくはどちらもだとするとそのＨＯＳＴテーブルは低空でない
事実10: もし仮にこの消費財は感じ易いということはないとすれば「その血行動態は新市場でその上基礎教育である」ということは偽だ
事実11: 因り難いものは浄書するがしかし陰気臭くない
事実12: もしも「「奔走する」ということは本当な」ものはあるとすると「その灰燼は奔走しないけど決め難い」ということは成り立たない
事実13: 仮にあの海賊放送が改革作業でないとするとそのＨＯＳＴテーブルは低空だということはない

仮説: そのＨＯＳＴテーブルは低空でない
1. 事実6と事実8から、推論1: "あの海賊放送は改革作業でないかそれは近付き難くないかもしくは両方である"が導かれる
2. 推論1と事実9から、仮説が導かれる

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