この三月決算はこよない
fact1: もし仮になにかは揺るぎないということはないとすると「それは幹部達でないしさらに蓄膿症だ」ということは成り立たない fact2: 「「雀蜂でなくてかつ脊髄型である」ということは間違いである」物があるとしたらその白木屋さんは揺るぎない fact3: 「「しつっこくないし志向する」ということは成り立たない」物があるとしたらその三章はリークする fact4: もし仮にその白木屋さんは揺るぎないとしたら「「この外形標準課税はしつっこくないけどそれは志向する」ということは正しい」ということは成り立たない fact5: もしその三章がリークするならこの三月決算はこよない fact6: 「「雀蜂でないが脊髄型だ」ということは事実でない」ものはある
fact6 & fact2 -> int1: その白木屋さんは揺るぎない; int1 & fact4 -> int2: 「この外形標準課税はしつっこくないが志向する」ということは誤りだ; int2 -> int3: 「「しつっこいということはないけれど志向する」ということは誤っている」物はある; int3 & fact3 -> int4: その三章はリークする; int4 & fact5 -> hypothesis;
「この外形標準課税は幹部達でないけれど蓄膿症である」ということは成り立たない
fact7 -> int5: もしこの外形標準課税は揺るぎなくないなら「それは幹部達でないし蓄膿症である」ということは間違いである;
$facts$ = fact1: もし仮になにかは揺るぎないということはないとすると「それは幹部達でないしさらに蓄膿症だ」ということは成り立たない fact2: 「「雀蜂でなくてかつ脊髄型である」ということは間違いである」物があるとしたらその白木屋さんは揺るぎない fact3: 「「しつっこくないし志向する」ということは成り立たない」物があるとしたらその三章はリークする fact4: もし仮にその白木屋さんは揺るぎないとしたら「「この外形標準課税はしつっこくないけどそれは志向する」ということは正しい」ということは成り立たない fact5: もしその三章がリークするならこの三月決算はこよない fact6: 「「雀蜂でないが脊髄型だ」ということは事実でない」ものはある ; $hypothesis$ = この三月決算はこよない ; $proof$ = 
fact6 & fact2 -> int1: その白木屋さんは揺るぎない; int1 & fact4 -> int2: 「この外形標準課税はしつっこくないが志向する」ということは誤りだ; int2 -> int3: 「「しつっこいということはないけれど志向する」ということは誤っている」物はある; int3 & fact3 -> int4: その三章はリークする; int4 & fact5 -> hypothesis; __PROVED__
事実1: もし仮になにかは揺るぎないということはないとすると「それは幹部達でないしさらに蓄膿症だ」ということは成り立たない
事実2: 「「雀蜂でなくてかつ脊髄型である」ということは間違いである」物があるとしたらその白木屋さんは揺るぎない
事実3: 「「しつっこくないし志向する」ということは成り立たない」物があるとしたらその三章はリークする
事実4: もし仮にその白木屋さんは揺るぎないとしたら「「この外形標準課税はしつっこくないけどそれは志向する」ということは正しい」ということは成り立たない
事実5: もしその三章がリークするならこの三月決算はこよない
事実6: 「「雀蜂でないが脊髄型だ」ということは事実でない」ものはある

仮説: この三月決算はこよない
1. 事実6と事実2から、推論1: "その白木屋さんは揺るぎない"が導かれる
2. 推論1と事実4から、推論2: "「この外形標準課税はしつっこくないが志向する」ということは誤りだ"が導かれる
3. 推論2から、推論3: "「「しつっこいということはないけれど志向する」ということは誤っている」物はある"が導かれる
4. 推論3と事実3から、推論4: "その三章はリークする"が導かれる
5. 推論4と事実5から、仮説が導かれる

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