「その両極間は簡素化しないしその上冷や冷やするない」ということは成り立たない
fact1: もしなんらかのものは薄まるなら「その両極間は簡素化するということはないしかつ冷や冷やしない」ということは成り立たない fact2: 「薄まる」物はある
$facts$ = fact1: もしなんらかのものは薄まるなら「その両極間は簡素化するということはないしかつ冷や冷やしない」ということは成り立たない fact2: 「薄まる」物はある ; $hypothesis$ = 「その両極間は簡素化しないしその上冷や冷やするない」ということは成り立たない ; $proof$ = 
事実1: もしなんらかのものは薄まるなら「その両極間は簡素化するということはないしかつ冷や冷やしない」ということは成り立たない
事実2: 「薄まる」物はある

仮説: 「その両極間は簡素化しないしその上冷や冷やするない」ということは成り立たない