「「もしも利用し難くないしまた修正動議だということはないとすると「御聖断である」ということは間違いでない」ものはある」ということは成り立たない
fact1: 利用し難くないものは修正動議でないとすると御聖断である fact2: 「仮に説明し易くないし誘引しないなら見する」ものはある fact3: もし仮になんらかのものが宿泊出来るけど弛くないならば保証する fact4: 「もし利用し難いがしかし修正動議でないとすれば御聖断である」物はある fact5: 輝かしくないし子供っぽくない物は生み易いということはない
fact1 -> int1: 仮にこのセルビア兵は利用し難くないし修正動議だということはないとすればそれは御聖断である; int1 -> hypothesis;
「仮に輝かしいということはないし子供っぽくないならば生み易い」物はある
fact6 -> int2: もし仮にその領収書が輝かしくないし更に子供っぽいということはないならそれは生み易い; int2 -> hypothesis;
$facts$ = fact1: 利用し難くないものは修正動議でないとすると御聖断である fact2: 「仮に説明し易くないし誘引しないなら見する」ものはある fact3: もし仮になんらかのものが宿泊出来るけど弛くないならば保証する fact4: 「もし利用し難いがしかし修正動議でないとすれば御聖断である」物はある fact5: 輝かしくないし子供っぽくない物は生み易いということはない ; $hypothesis$ = 「「もしも利用し難くないしまた修正動議だということはないとすると「御聖断である」ということは間違いでない」ものはある」ということは成り立たない ; $proof$ = 
fact1 -> int1: 仮にこのセルビア兵は利用し難くないし修正動議だということはないとすればそれは御聖断である; int1 -> hypothesis; __DISPROVED__
事実1: 利用し難くないものは修正動議でないとすると御聖断である
事実2: 「仮に説明し易くないし誘引しないなら見する」ものはある
事実3: もし仮になんらかのものが宿泊出来るけど弛くないならば保証する
事実4: 「もし利用し難いがしかし修正動議でないとすれば御聖断である」物はある
事実5: 輝かしくないし子供っぽくない物は生み易いということはない

仮説: 「「もしも利用し難くないしまた修正動議だということはないとすると「御聖断である」ということは間違いでない」ものはある」ということは成り立たない
1. 事実1から、推論1: "仮にこのセルビア兵は利用し難くないし修正動議だということはないとすればそれは御聖断である"が導かれる
2. 推論1から、仮説が否定される

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