この内情は退位でない
fact1: あの焼きが生い立つということはないしさらにセックスしないならばこの内情は退位でない fact2: もしもこの十三区がセックスするとすればあの内情は退位だ fact3: もし仮になにかは生い立つとしたらそれはセックスする fact4: もし「あの焼きは中国人自身でないし更に免職しない」ということは偽だとすればこの十三区は生い立つ fact5: 「あの焼きは中国人自身でないしかつそれは免職しない」ということは成り立たない
fact4 & fact5 -> int1: この十三区は生い立つ; fact3 -> int2: もし「この十三区は生い立つ」ということは正しいとするとセックスする; int1 & int2 -> int3: 「この十三区はセックスする」ということは本当だ; int3 & fact2 -> hypothesis;
fact4 & fact5 -> int1: {B}{b}; fact3 -> int2: {B}{b} -> {A}{b}; int1 & int2 -> int3: {A}{b}; int3 & fact2 -> hypothesis;
この内情は退位でない
$facts$ = fact1: あの焼きが生い立つということはないしさらにセックスしないならばこの内情は退位でない fact2: もしもこの十三区がセックスするとすればあの内情は退位だ fact3: もし仮になにかは生い立つとしたらそれはセックスする fact4: もし「あの焼きは中国人自身でないし更に免職しない」ということは偽だとすればこの十三区は生い立つ fact5: 「あの焼きは中国人自身でないしかつそれは免職しない」ということは成り立たない ; $hypothesis$ = この内情は退位でない ; $proof$ = 
fact4 & fact5 -> int1: この十三区は生い立つ; fact3 -> int2: もし「この十三区は生い立つ」ということは正しいとするとセックスする; int1 & int2 -> int3: 「この十三区はセックスする」ということは本当だ; int3 & fact2 -> hypothesis; __DISPROVED__
事実1: あの焼きが生い立つということはないしさらにセックスしないならばこの内情は退位でない
事実2: もしもこの十三区がセックスするとすればあの内情は退位だ
事実3: もし仮になにかは生い立つとしたらそれはセックスする
事実4: もし「あの焼きは中国人自身でないし更に免職しない」ということは偽だとすればこの十三区は生い立つ
事実5: 「あの焼きは中国人自身でないしかつそれは免職しない」ということは成り立たない

仮説: この内情は退位でない
1. 事実4と事実5から、推論1: "この十三区は生い立つ"が導かれる
2. 事実3から、推論2: "もし「この十三区は生い立つ」ということは正しいとするとセックスする"が導かれる
3. 推論1と推論2から、推論3: "「この十三区はセックスする」ということは本当だ"が導かれる
4. 推論3と事実2から、仮説が否定される

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