「あの千八百四十年頃はせせこましくない一方で啜り泣く」ということは間違いだ
fact1: その綴れ織りは成就出来る fact2: 「その綴れ織りは成就出来る」ということは事実と異ならないならば「あの千八百四十年頃はせせこましくないけれどそれは啜り泣く」ということは間違っている fact3: このアバンギャルドは成就出来る
$facts$ = fact1: その綴れ織りは成就出来る fact2: 「その綴れ織りは成就出来る」ということは事実と異ならないならば「あの千八百四十年頃はせせこましくないけれどそれは啜り泣く」ということは間違っている fact3: このアバンギャルドは成就出来る ; $hypothesis$ = 「あの千八百四十年頃はせせこましくない一方で啜り泣く」ということは間違いだ ; $proof$ = 
事実1: その綴れ織りは成就出来る
事実2: 「その綴れ織りは成就出来る」ということは事実と異ならないならば「あの千八百四十年頃はせせこましくないけれどそれは啜り泣く」ということは間違っている
事実3: このアバンギャルドは成就出来る

仮説: 「あの千八百四十年頃はせせこましくない一方で啜り泣く」ということは間違いだ