「「仮に狭ししＳＣＯＳＷなら明細書であるということはない」ものはある」ということは成り立たない
fact1: もしも狭しものがＳＣＯＳＷだとしたら明細書でない fact2: 「もし狭ししさらにＳＣＯＳＷであるなら明細書である」ものはある fact3: もしその帝位は狭ししＳＣＯＳＷであるならばそれは明細書である fact4: もし仮に狭しものがＳＣＯＳＷだとすればそれは明細書である fact5: もし仮にその帝位は窃取するしかつ操であるならばそれはジアスターゼでない
fact1 -> int1: もしもその帝位は狭ししまたＳＣＯＳＷであるならそれは明細書でない; int1 -> hypothesis;
$facts$ = fact1: もしも狭しものがＳＣＯＳＷだとしたら明細書でない fact2: 「もし狭ししさらにＳＣＯＳＷであるなら明細書である」ものはある fact3: もしその帝位は狭ししＳＣＯＳＷであるならばそれは明細書である fact4: もし仮に狭しものがＳＣＯＳＷだとすればそれは明細書である fact5: もし仮にその帝位は窃取するしかつ操であるならばそれはジアスターゼでない ; $hypothesis$ = 「「仮に狭ししＳＣＯＳＷなら明細書であるということはない」ものはある」ということは成り立たない ; $proof$ = 
fact1 -> int1: もしもその帝位は狭ししまたＳＣＯＳＷであるならそれは明細書でない; int1 -> hypothesis; __DISPROVED__
事実1: もしも狭しものがＳＣＯＳＷだとしたら明細書でない
事実2: 「もし狭ししさらにＳＣＯＳＷであるなら明細書である」ものはある
事実3: もしその帝位は狭ししＳＣＯＳＷであるならばそれは明細書である
事実4: もし仮に狭しものがＳＣＯＳＷだとすればそれは明細書である
事実5: もし仮にその帝位は窃取するしかつ操であるならばそれはジアスターゼでない

仮説: 「「仮に狭ししＳＣＯＳＷなら明細書であるということはない」ものはある」ということは成り立たない
1. 事実1から、推論1: "もしもその帝位は狭ししまたＳＣＯＳＷであるならそれは明細書でない"が導かれる
2. 推論1から、仮説が否定される

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