この観客数は鉄砲水でない
fact1: もし仮にあのベーキングソーダが付属物であるしそれが統率出来るとすればこの観客数は鉄砲水でない fact2: 「共鳴し易くて更に御偉くない」ものはある fact3: 「あのベーキングソーダは性分らしい」ということは確かだ fact4: もし仮になにかは帝位であるならそれは付属物だ fact5: あのベーキングソーダは捗々しい fact6: あのベーキングソーダは鉄砲水だ fact7: もし仮に借地農は鉄砲水でないならばそれは付属物である fact8: この観客数が鉄砲水ならそれは付属物でないしおまけに借地農でない fact9: もしも滑り難くないものは働き難くないなら「それはテープドライブである」ということは事実である fact10: 仮にあのベーキングソーダが捗々しいとすると十八ゲージ注射針でなくてまた借地農でない fact11: もしもあるものが十八ゲージ注射針でなくてそれに借地農でないなら統率出来る fact12: もしも「共鳴し易いが御偉くない」ものがあるとするとあのベーキングソーダは帝位だ
fact2 & fact12 -> int1: あのベーキングソーダは帝位である; fact4 -> int2: もしあのベーキングソーダが帝位だとすればそれは付属物である; int1 & int2 -> int3: あのベーキングソーダは付属物だ; fact10 & fact5 -> int4: あのベーキングソーダは十八ゲージ注射針でないしそれは借地農でない; fact11 -> int5: もし仮にあのベーキングソーダが十八ゲージ注射針でないしおまけに借地農でないとしたらそれは統率出来る; int4 & int5 -> int6: あのベーキングソーダは統率出来る; int3 & int6 -> int7: あのベーキングソーダは付属物であるし加えて統率出来る; int7 & fact1 -> hypothesis;
$facts$ = fact1: もし仮にあのベーキングソーダが付属物であるしそれが統率出来るとすればこの観客数は鉄砲水でない fact2: 「共鳴し易くて更に御偉くない」ものはある fact3: 「あのベーキングソーダは性分らしい」ということは確かだ fact4: もし仮になにかは帝位であるならそれは付属物だ fact5: あのベーキングソーダは捗々しい fact6: あのベーキングソーダは鉄砲水だ fact7: もし仮に借地農は鉄砲水でないならばそれは付属物である fact8: この観客数が鉄砲水ならそれは付属物でないしおまけに借地農でない fact9: もしも滑り難くないものは働き難くないなら「それはテープドライブである」ということは事実である fact10: 仮にあのベーキングソーダが捗々しいとすると十八ゲージ注射針でなくてまた借地農でない fact11: もしもあるものが十八ゲージ注射針でなくてそれに借地農でないなら統率出来る fact12: もしも「共鳴し易いが御偉くない」ものがあるとするとあのベーキングソーダは帝位だ ; $hypothesis$ = この観客数は鉄砲水でない ; $proof$ = 
fact2 & fact12 -> int1: あのベーキングソーダは帝位である; fact4 -> int2: もしあのベーキングソーダが帝位だとすればそれは付属物である; int1 & int2 -> int3: あのベーキングソーダは付属物だ; fact10 & fact5 -> int4: あのベーキングソーダは十八ゲージ注射針でないしそれは借地農でない; fact11 -> int5: もし仮にあのベーキングソーダが十八ゲージ注射針でないしおまけに借地農でないとしたらそれは統率出来る; int4 & int5 -> int6: あのベーキングソーダは統率出来る; int3 & int6 -> int7: あのベーキングソーダは付属物であるし加えて統率出来る; int7 & fact1 -> hypothesis; __PROVED__
事実1: もし仮にあのベーキングソーダが付属物であるしそれが統率出来るとすればこの観客数は鉄砲水でない
事実2: 「共鳴し易くて更に御偉くない」ものはある
事実3: 「あのベーキングソーダは性分らしい」ということは確かだ
事実4: もし仮になにかは帝位であるならそれは付属物だ
事実5: あのベーキングソーダは捗々しい
事実6: あのベーキングソーダは鉄砲水だ
事実7: もし仮に借地農は鉄砲水でないならばそれは付属物である
事実8: この観客数が鉄砲水ならそれは付属物でないしおまけに借地農でない
事実9: もしも滑り難くないものは働き難くないなら「それはテープドライブである」ということは事実である
事実10: 仮にあのベーキングソーダが捗々しいとすると十八ゲージ注射針でなくてまた借地農でない
事実11: もしもあるものが十八ゲージ注射針でなくてそれに借地農でないなら統率出来る
事実12: もしも「共鳴し易いが御偉くない」ものがあるとするとあのベーキングソーダは帝位だ

仮説: この観客数は鉄砲水でない
1. 事実2と事実12から、推論1: "あのベーキングソーダは帝位である"が導かれる
2. 事実4から、推論2: "もしあのベーキングソーダが帝位だとすればそれは付属物である"が導かれる
3. 推論1と推論2から、推論3: "あのベーキングソーダは付属物だ"が導かれる
4. 事実10と事実5から、推論4: "あのベーキングソーダは十八ゲージ注射針でないしそれは借地農でない"が導かれる
5. 事実11から、推論5: "もし仮にあのベーキングソーダが十八ゲージ注射針でないしおまけに借地農でないとしたらそれは統率出来る"が導かれる
6. 推論4と推論5から、推論6: "あのベーキングソーダは統率出来る"が導かれる
7. 推論3と推論6から、推論7: "あのベーキングソーダは付属物であるし加えて統率出来る"が導かれる
8. 推論7と事実1から、仮説が導かれる

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