「あの結果的加重犯は中央集権体制だがしかしアメリカ野球でない」ということは成り立たない
fact1: あの結果的加重犯は株主資本基準だ fact2: 何かは改むしさらに株主資本基準であるとすればアメリカ野球でない fact3: あの結果的加重犯は現われ難い fact4: それは盗掘しないかもしくはむさくるしいかどちらもだという物はない fact5: 「なにがしかの物は盗掘しないかむさくるしいかもしくは両方ともだ」ということは間違いであるとしたらそれは改む fact6: 全ての物は盗掘する fact7: もしも何らかのものがアメリカ野球だとしたら感慨深い fact8: 「この郵便局前はゴンドラでない」ということは正しいとしたらそれは改むし更に株主資本基準だ fact9: 仮に何かは現われ難いとすればそれはゴンドラだ fact10: もしもあの結果的加重犯はゴンドラであるとしたらそれは中央集権体制だ fact11: 仮にあの結果的加重犯は中央集権体制であるとすると感慨深い
fact4 -> int1: 「「あの結果的加重犯は盗掘しないかまたはむさくるしいかまたはどちらもだ」ということは確かである」ということは間違っている; fact5 -> int2: もしも「「あの結果的加重犯は盗掘しないかもしくはむさくるしい」ということは偽だ」ということは間違いでないとすればそれは改む; int1 & int2 -> int3: あの結果的加重犯は改む; int3 & fact1 -> int4: 「あの結果的加重犯は改むしさらに株主資本基準だ」ということは成り立つ; fact2 -> int5: あの結果的加重犯が改むし株主資本基準だとすればアメリカ野球だということはない; int4 & int5 -> int6: あの結果的加重犯はアメリカ野球でない; fact9 -> int7: もし仮にあの結果的加重犯は現われ難いとすると「それはゴンドラだ」ということは真実である; fact3 & int7 -> int8: あの結果的加重犯はゴンドラである; int8 & fact10 -> int9: あの結果的加重犯は中央集権体制である; int6 & int9 -> hypothesis;
「あの結果的加重犯が中央集権体制だけどアメリカ野球だということはない」ということは誤っている
$facts$ = fact1: あの結果的加重犯は株主資本基準だ fact2: 何かは改むしさらに株主資本基準であるとすればアメリカ野球でない fact3: あの結果的加重犯は現われ難い fact4: それは盗掘しないかもしくはむさくるしいかどちらもだという物はない fact5: 「なにがしかの物は盗掘しないかむさくるしいかもしくは両方ともだ」ということは間違いであるとしたらそれは改む fact6: 全ての物は盗掘する fact7: もしも何らかのものがアメリカ野球だとしたら感慨深い fact8: 「この郵便局前はゴンドラでない」ということは正しいとしたらそれは改むし更に株主資本基準だ fact9: 仮に何かは現われ難いとすればそれはゴンドラだ fact10: もしもあの結果的加重犯はゴンドラであるとしたらそれは中央集権体制だ fact11: 仮にあの結果的加重犯は中央集権体制であるとすると感慨深い ; $hypothesis$ = 「あの結果的加重犯は中央集権体制だがしかしアメリカ野球でない」ということは成り立たない ; $proof$ = 
fact4 -> int1: 「「あの結果的加重犯は盗掘しないかまたはむさくるしいかまたはどちらもだ」ということは確かである」ということは間違っている; fact5 -> int2: もしも「「あの結果的加重犯は盗掘しないかもしくはむさくるしい」ということは偽だ」ということは間違いでないとすればそれは改む; int1 & int2 -> int3: あの結果的加重犯は改む; int3 & fact1 -> int4: 「あの結果的加重犯は改むしさらに株主資本基準だ」ということは成り立つ; fact2 -> int5: あの結果的加重犯が改むし株主資本基準だとすればアメリカ野球だということはない; int4 & int5 -> int6: あの結果的加重犯はアメリカ野球でない; fact9 -> int7: もし仮にあの結果的加重犯は現われ難いとすると「それはゴンドラだ」ということは真実である; fact3 & int7 -> int8: あの結果的加重犯はゴンドラである; int8 & fact10 -> int9: あの結果的加重犯は中央集権体制である; int6 & int9 -> hypothesis; __DISPROVED__
事実1: あの結果的加重犯は株主資本基準だ
事実2: 何かは改むしさらに株主資本基準であるとすればアメリカ野球でない
事実3: あの結果的加重犯は現われ難い
事実4: それは盗掘しないかもしくはむさくるしいかどちらもだという物はない
事実5: 「なにがしかの物は盗掘しないかむさくるしいかもしくは両方ともだ」ということは間違いであるとしたらそれは改む
事実6: 全ての物は盗掘する
事実7: もしも何らかのものがアメリカ野球だとしたら感慨深い
事実8: 「この郵便局前はゴンドラでない」ということは正しいとしたらそれは改むし更に株主資本基準だ
事実9: 仮に何かは現われ難いとすればそれはゴンドラだ
事実10: もしもあの結果的加重犯はゴンドラであるとしたらそれは中央集権体制だ
事実11: 仮にあの結果的加重犯は中央集権体制であるとすると感慨深い

仮説: 「あの結果的加重犯は中央集権体制だがしかしアメリカ野球でない」ということは成り立たない
1. 事実4から、推論1: "「「あの結果的加重犯は盗掘しないかまたはむさくるしいかまたはどちらもだ」ということは確かである」ということは間違っている"が導かれる
2. 事実5から、推論2: "もしも「「あの結果的加重犯は盗掘しないかもしくはむさくるしい」ということは偽だ」ということは間違いでないとすればそれは改む"が導かれる
3. 推論1と推論2から、推論3: "あの結果的加重犯は改む"が導かれる
4. 推論3と事実1から、推論4: "「あの結果的加重犯は改むしさらに株主資本基準だ」ということは成り立つ"が導かれる
5. 事実2から、推論5: "あの結果的加重犯が改むし株主資本基準だとすればアメリカ野球だということはない"が導かれる
6. 推論4と推論5から、推論6: "あの結果的加重犯はアメリカ野球でない"が導かれる
7. 事実9から、推論7: "もし仮にあの結果的加重犯は現われ難いとすると「それはゴンドラだ」ということは真実である"が導かれる
8. 事実3と推論7から、推論8: "あの結果的加重犯はゴンドラである"が導かれる
9. 推論8と事実10から、推論9: "あの結果的加重犯は中央集権体制である"が導かれる
10. 推論6と推論9から、仮説が否定される

よって、仮説が否定されました。