その湯桶野郎は緩み掛けないか踏み切らないかまたはどちらもだ
fact1: ある物が調印しないとすればそれは緩み掛けないかもしくはそれは踏み切らないかどちらもである fact2: 「その湯桶野郎は緩み掛けないかまたは踏み切らないかもしくは両方である」ということは偽である fact3: ある物は調印しないならば「範囲選択しないかまたは受け難くないかまたは両方ともである」ということは成り立たない
fact2 -> hypothesis;
fact2 -> hypothesis;
その湯桶野郎は緩み掛けないかそれは踏み切らないかもしくはどちらもだ
fact4 -> int1: その湯桶野郎が調印しないとするとそれは緩み掛けないかまたは踏み切らないかまたは両方である;
$facts$ = fact1: ある物が調印しないとすればそれは緩み掛けないかもしくはそれは踏み切らないかどちらもである fact2: 「その湯桶野郎は緩み掛けないかまたは踏み切らないかもしくは両方である」ということは偽である fact3: ある物は調印しないならば「範囲選択しないかまたは受け難くないかまたは両方ともである」ということは成り立たない ; $hypothesis$ = その湯桶野郎は緩み掛けないか踏み切らないかまたはどちらもだ ; $proof$ = 
fact2 -> hypothesis; __DISPROVED__
事実1: ある物が調印しないとすればそれは緩み掛けないかもしくはそれは踏み切らないかどちらもである
事実2: 「その湯桶野郎は緩み掛けないかまたは踏み切らないかもしくは両方である」ということは偽である
事実3: ある物は調印しないならば「範囲選択しないかまたは受け難くないかまたは両方ともである」ということは成り立たない

仮説: その湯桶野郎は緩み掛けないか踏み切らないかまたはどちらもだ
1. 事実2から、仮説が否定される

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