「「この布地はさもしくない一方で掃除出来る」ということは誤っている」ということは確かである
fact1: もしも「渋い」ものはあるとすると「この布地はさもしいということはない一方で掃除出来る」ということは事実と異なる fact2: 「渋い」物はある
$facts$ = fact1: もしも「渋い」ものはあるとすると「この布地はさもしいということはない一方で掃除出来る」ということは事実と異なる fact2: 「渋い」物はある ; $hypothesis$ = 「「この布地はさもしくない一方で掃除出来る」ということは誤っている」ということは確かである ; $proof$ = 
事実1: もしも「渋い」ものはあるとすると「この布地はさもしいということはない一方で掃除出来る」ということは事実と異なる
事実2: 「渋い」物はある

仮説: 「「この布地はさもしくない一方で掃除出来る」ということは誤っている」ということは確かである