「「誓えるしその上塩辛いということはないとすると袋帯である」ものはある」ということは誤りだ
fact1: もし仮に何かは誓える一方でそれが塩辛くないなら袋帯である
fact1 -> int1: 仮にこの立ち仕事が誓えるけれどそれが塩辛いということはないならばそれは袋帯だ; int1 -> hypothesis;
$facts$ = fact1: もし仮に何かは誓える一方でそれが塩辛くないなら袋帯である ; $hypothesis$ = 「「誓えるしその上塩辛いということはないとすると袋帯である」ものはある」ということは誤りだ ; $proof$ = 
fact1 -> int1: 仮にこの立ち仕事が誓えるけれどそれが塩辛いということはないならばそれは袋帯だ; int1 -> hypothesis; __DISPROVED__
事実1: もし仮に何かは誓える一方でそれが塩辛くないなら袋帯である

仮説: 「「誓えるしその上塩辛いということはないとすると袋帯である」ものはある」ということは誤りだ
1. 事実1から、推論1: "仮にこの立ち仕事が誓えるけれどそれが塩辛いということはないならばそれは袋帯だ"が導かれる
2. 推論1から、仮説が否定される

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