この仙骨形態は部内だ
fact1: 仮に嘆かわしくないものが剥がれ落ちるなら部内でない fact2: もしもそのモンゴル部族が達成し得ないならばこの仙骨形態は嘆かわしくない fact3: もし「そのモンゴル部族は達成し得るしおまけに忌まわしい」ということは事実と異なるとすればこの仙骨形態は嘆かわしくない fact4: 仮に「そのモンゴル部族は嘆かわしいし負える」ということは成り立たないとするとこの仙骨形態は忌まわしくない fact5: この仙骨形態は剥がれ落ちるしその上負える fact6: 「この仙骨形態は負える」ということは成り立つ fact7: 「そのモンゴル部族は達成し得るし加えてそれは忌まわしい」ということは誤りだ
fact3 & fact7 -> int1: 「「この仙骨形態は嘆かわしい」ということは偽である」ということは成り立つ; fact5 -> int2: この仙骨形態は剥がれ落ちる; int1 & int2 -> int3: この仙骨形態は嘆かわしくないがしかし剥がれ落ちる; fact1 -> int4: 仮にこの仙骨形態は嘆かわしくないけど剥がれ落ちるとしたらそれは部内でない; int3 & int4 -> hypothesis;
$facts$ = fact1: 仮に嘆かわしくないものが剥がれ落ちるなら部内でない fact2: もしもそのモンゴル部族が達成し得ないならばこの仙骨形態は嘆かわしくない fact3: もし「そのモンゴル部族は達成し得るしおまけに忌まわしい」ということは事実と異なるとすればこの仙骨形態は嘆かわしくない fact4: 仮に「そのモンゴル部族は嘆かわしいし負える」ということは成り立たないとするとこの仙骨形態は忌まわしくない fact5: この仙骨形態は剥がれ落ちるしその上負える fact6: 「この仙骨形態は負える」ということは成り立つ fact7: 「そのモンゴル部族は達成し得るし加えてそれは忌まわしい」ということは誤りだ ; $hypothesis$ = この仙骨形態は部内だ ; $proof$ = 
fact3 & fact7 -> int1: 「「この仙骨形態は嘆かわしい」ということは偽である」ということは成り立つ; fact5 -> int2: この仙骨形態は剥がれ落ちる; int1 & int2 -> int3: この仙骨形態は嘆かわしくないがしかし剥がれ落ちる; fact1 -> int4: 仮にこの仙骨形態は嘆かわしくないけど剥がれ落ちるとしたらそれは部内でない; int3 & int4 -> hypothesis; __DISPROVED__
事実1: 仮に嘆かわしくないものが剥がれ落ちるなら部内でない
事実2: もしもそのモンゴル部族が達成し得ないならばこの仙骨形態は嘆かわしくない
事実3: もし「そのモンゴル部族は達成し得るしおまけに忌まわしい」ということは事実と異なるとすればこの仙骨形態は嘆かわしくない
事実4: 仮に「そのモンゴル部族は嘆かわしいし負える」ということは成り立たないとするとこの仙骨形態は忌まわしくない
事実5: この仙骨形態は剥がれ落ちるしその上負える
事実6: 「この仙骨形態は負える」ということは成り立つ
事実7: 「そのモンゴル部族は達成し得るし加えてそれは忌まわしい」ということは誤りだ

仮説: この仙骨形態は部内だ
1. 事実3と事実7から、推論1: "「「この仙骨形態は嘆かわしい」ということは偽である」ということは成り立つ"が導かれる
2. 事実5から、推論2: "この仙骨形態は剥がれ落ちる"が導かれる
3. 推論1と推論2から、推論3: "この仙骨形態は嘆かわしくないがしかし剥がれ落ちる"が導かれる
4. 事実1から、推論4: "仮にこの仙骨形態は嘆かわしくないけど剥がれ落ちるとしたらそれは部内でない"が導かれる
5. 推論3と推論4から、仮説が否定される

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