「この印欧語は中世的都市だが綾織りでない」ということは成り立たない
fact1: この印欧語は段取りするということはないとすれば「中世的都市であるしおまけにそれは綾織りでない」ということは成り立たない fact2: 「この印欧語は段取りしない」ということは事実である fact3: 「あの本文領域は段取りしない」ということは事実である
$facts$ = fact1: この印欧語は段取りするということはないとすれば「中世的都市であるしおまけにそれは綾織りでない」ということは成り立たない fact2: 「この印欧語は段取りしない」ということは事実である fact3: 「あの本文領域は段取りしない」ということは事実である ; $hypothesis$ = 「この印欧語は中世的都市だが綾織りでない」ということは成り立たない ; $proof$ = 
事実1: この印欧語は段取りするということはないとすれば「中世的都市であるしおまけにそれは綾織りでない」ということは成り立たない
事実2: 「この印欧語は段取りしない」ということは事実である
事実3: 「あの本文領域は段取りしない」ということは事実である

仮説: 「この印欧語は中世的都市だが綾織りでない」ということは成り立たない