「「もし「短絡するけれど言い掛けない」ということは成り立つということはないなら忍容性な」ものはある」ということは誤っている
fact1: 「言い掛けるとすれば忍容性である」物はある fact2: 仮に「その氷塊は言い掛ける」ということは成り立つとすれば忍容性である fact3: もしも「その氷塊は短絡するけど言い掛けない」ということは誤りならそれは忍容性である
fact3 -> hypothesis;
fact3 -> hypothesis;
$facts$ = fact1: 「言い掛けるとすれば忍容性である」物はある fact2: 仮に「その氷塊は言い掛ける」ということは成り立つとすれば忍容性である fact3: もしも「その氷塊は短絡するけど言い掛けない」ということは誤りならそれは忍容性である ; $hypothesis$ = 「「もし「短絡するけれど言い掛けない」ということは成り立つということはないなら忍容性な」ものはある」ということは誤っている ; $proof$ = 
fact3 -> hypothesis; __DISPROVED__
事実1: 「言い掛けるとすれば忍容性である」物はある
事実2: 仮に「その氷塊は言い掛ける」ということは成り立つとすれば忍容性である
事実3: もしも「その氷塊は短絡するけど言い掛けない」ということは誤りならそれは忍容性である

仮説: 「「もし「短絡するけれど言い掛けない」ということは成り立つということはないなら忍容性な」ものはある」ということは誤っている
1. 事実3から、仮説が否定される

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