あのオーストリア帝国は陥り易いが循環障害でない
fact1: 「「あのオーストリア帝国は陥り易くて更に循環障害である」ということは成り立たない」ということは正しい fact2: もし仮にあの満期後が脊柱側弯症であるとしたらその一センチメートル幅は循環障害だ fact3: もし仮にその一センチメートル幅は循環障害だとすると「あのオーストリア帝国は陥り易いがしかし循環障害でない」ということは偽である fact4: もしも「「寒ーい」ということは真実である」ものがあるとしたらあのオーストリア帝国は陥り易いしまた者無しだ fact5: もしあの満期後が遂げるということはないとするとあのオーストリア帝国は脊柱側弯症でなくてまたそれは循環障害でない fact6: もしもあの孫家が者無しであるとしたらあの満期後は脊柱側弯症だ fact7: その一センチメートル幅は脊柱側弯症だとすれば「「あの孫家は者無しでないけれどそれは寒ーい」ということは成り立たない」ということは成り立つ fact8: もしもあのオーストリア帝国が者無しであるならあの孫家は循環障害だ fact9: あの孫家は者無しでかつ寒ーくない
fact9 -> int1: あの孫家は者無しである; int1 & fact6 -> int2: あの満期後は脊柱側弯症である; int2 & fact2 -> int3: その一センチメートル幅は循環障害である; int3 & fact3 -> hypothesis;
「あの満期後は循環障害である」ということは成り立つ
$facts$ = fact1: 「「あのオーストリア帝国は陥り易くて更に循環障害である」ということは成り立たない」ということは正しい fact2: もし仮にあの満期後が脊柱側弯症であるとしたらその一センチメートル幅は循環障害だ fact3: もし仮にその一センチメートル幅は循環障害だとすると「あのオーストリア帝国は陥り易いがしかし循環障害でない」ということは偽である fact4: もしも「「寒ーい」ということは真実である」ものがあるとしたらあのオーストリア帝国は陥り易いしまた者無しだ fact5: もしあの満期後が遂げるということはないとするとあのオーストリア帝国は脊柱側弯症でなくてまたそれは循環障害でない fact6: もしもあの孫家が者無しであるとしたらあの満期後は脊柱側弯症だ fact7: その一センチメートル幅は脊柱側弯症だとすれば「「あの孫家は者無しでないけれどそれは寒ーい」ということは成り立たない」ということは成り立つ fact8: もしもあのオーストリア帝国が者無しであるならあの孫家は循環障害だ fact9: あの孫家は者無しでかつ寒ーくない ; $hypothesis$ = あのオーストリア帝国は陥り易いが循環障害でない ; $proof$ = 
fact9 -> int1: あの孫家は者無しである; int1 & fact6 -> int2: あの満期後は脊柱側弯症である; int2 & fact2 -> int3: その一センチメートル幅は循環障害である; int3 & fact3 -> hypothesis; __DISPROVED__
事実1: 「「あのオーストリア帝国は陥り易くて更に循環障害である」ということは成り立たない」ということは正しい
事実2: もし仮にあの満期後が脊柱側弯症であるとしたらその一センチメートル幅は循環障害だ
事実3: もし仮にその一センチメートル幅は循環障害だとすると「あのオーストリア帝国は陥り易いがしかし循環障害でない」ということは偽である
事実4: もしも「「寒ーい」ということは真実である」ものがあるとしたらあのオーストリア帝国は陥り易いしまた者無しだ
事実5: もしあの満期後が遂げるということはないとするとあのオーストリア帝国は脊柱側弯症でなくてまたそれは循環障害でない
事実6: もしもあの孫家が者無しであるとしたらあの満期後は脊柱側弯症だ
事実7: その一センチメートル幅は脊柱側弯症だとすれば「「あの孫家は者無しでないけれどそれは寒ーい」ということは成り立たない」ということは成り立つ
事実8: もしもあのオーストリア帝国が者無しであるならあの孫家は循環障害だ
事実9: あの孫家は者無しでかつ寒ーくない

仮説: あのオーストリア帝国は陥り易いが循環障害でない
1. 事実9から、推論1: "あの孫家は者無しである"が導かれる
2. 推論1と事実6から、推論2: "あの満期後は脊柱側弯症である"が導かれる
3. 推論2と事実2から、推論3: "その一センチメートル幅は循環障害である"が導かれる
4. 推論3と事実3から、仮説が否定される

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