その各級政府はＡ四判であるかそれは腹身だ
fact1: もしこの当初予算が断食するとするとその各級政府はＡ四判だ fact2: もし仮になんらかの物は新スタジアムでないとしたら彼以外だ fact3: 「もし仮に「塩辛い」物はあるとすると「このＲＩＺＥは増え難くないけど賛成だ」ということは間違いである」ということは正しい fact4: 「「塩辛い」ということは成り立つ」ものはある fact5: もし「「なんらかの物は増え難くないけどそれは賛成である」ということは真実だ」ということは成り立たないならば新スタジアムでない fact6: 「このＲＩＺＥは増え難いが彼以外でない」ということは成り立たないなら「この当初予算は彼以外でない」ということは正しい fact7: もしもこのＲＩＺＥが彼以外であるならばこの当初予算は断食する
fact4 & fact3 -> int1: 「このＲＩＺＥは増え難くないけど賛成である」ということは事実と異なる; fact5 -> int2: 仮に「このＲＩＺＥは増え難くないけれど賛成である」ということは成り立たないとすれば「それは新スタジアムだということはない」ということは成り立つ; int1 & int2 -> int3: 「このＲＩＺＥは新スタジアムだということはない」ということは成り立つ; fact2 -> int4: このＲＩＺＥは新スタジアムでないとすれば「それは彼以外である」ということは事実である; int3 & int4 -> int5: このＲＩＺＥは彼以外だ; int5 & fact7 -> int6: この当初予算は断食する; int6 & fact1 -> int7: その各級政府はＡ四判だ; int7 -> hypothesis;
「この当初予算は彼以外でない」ということは事実だ
$facts$ = fact1: もしこの当初予算が断食するとするとその各級政府はＡ四判だ fact2: もし仮になんらかの物は新スタジアムでないとしたら彼以外だ fact3: 「もし仮に「塩辛い」物はあるとすると「このＲＩＺＥは増え難くないけど賛成だ」ということは間違いである」ということは正しい fact4: 「「塩辛い」ということは成り立つ」ものはある fact5: もし「「なんらかの物は増え難くないけどそれは賛成である」ということは真実だ」ということは成り立たないならば新スタジアムでない fact6: 「このＲＩＺＥは増え難いが彼以外でない」ということは成り立たないなら「この当初予算は彼以外でない」ということは正しい fact7: もしもこのＲＩＺＥが彼以外であるならばこの当初予算は断食する ; $hypothesis$ = その各級政府はＡ四判であるかそれは腹身だ ; $proof$ = 
fact4 & fact3 -> int1: 「このＲＩＺＥは増え難くないけど賛成である」ということは事実と異なる; fact5 -> int2: 仮に「このＲＩＺＥは増え難くないけれど賛成である」ということは成り立たないとすれば「それは新スタジアムだということはない」ということは成り立つ; int1 & int2 -> int3: 「このＲＩＺＥは新スタジアムだということはない」ということは成り立つ; fact2 -> int4: このＲＩＺＥは新スタジアムでないとすれば「それは彼以外である」ということは事実である; int3 & int4 -> int5: このＲＩＺＥは彼以外だ; int5 & fact7 -> int6: この当初予算は断食する; int6 & fact1 -> int7: その各級政府はＡ四判だ; int7 -> hypothesis; __PROVED__
事実1: もしこの当初予算が断食するとするとその各級政府はＡ四判だ
事実2: もし仮になんらかの物は新スタジアムでないとしたら彼以外だ
事実3: 「もし仮に「塩辛い」物はあるとすると「このＲＩＺＥは増え難くないけど賛成だ」ということは間違いである」ということは正しい
事実4: 「「塩辛い」ということは成り立つ」ものはある
事実5: もし「「なんらかの物は増え難くないけどそれは賛成である」ということは真実だ」ということは成り立たないならば新スタジアムでない
事実6: 「このＲＩＺＥは増え難いが彼以外でない」ということは成り立たないなら「この当初予算は彼以外でない」ということは正しい
事実7: もしもこのＲＩＺＥが彼以外であるならばこの当初予算は断食する

仮説: その各級政府はＡ四判であるかそれは腹身だ
1. 事実4と事実3から、推論1: "「このＲＩＺＥは増え難くないけど賛成である」ということは事実と異なる"が導かれる
2. 事実5から、推論2: "仮に「このＲＩＺＥは増え難くないけれど賛成である」ということは成り立たないとすれば「それは新スタジアムだということはない」ということは成り立つ"が導かれる
3. 推論1と推論2から、推論3: "「このＲＩＺＥは新スタジアムだということはない」ということは成り立つ"が導かれる
4. 事実2から、推論4: "このＲＩＺＥは新スタジアムでないとすれば「それは彼以外である」ということは事実である"が導かれる
5. 推論3と推論4から、推論5: "このＲＩＺＥは彼以外だ"が導かれる
6. 推論5と事実7から、推論6: "この当初予算は断食する"が導かれる
7. 推論6と事実1から、推論7: "その各級政府はＡ四判だ"が導かれる
8. 推論7から、仮説が導かれる

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