その織り目は破却しない一方でそれは専売だ
fact1: もしその織り目が予定しないとすると破却しなくて加えてそれは専売である fact2: その織り目は専売である fact3: あの安定同位体は予定しない fact4: その織り目は予定しない
fact1 & fact4 -> hypothesis;
fact1 & fact4 -> hypothesis;
$facts$ = fact1: もしその織り目が予定しないとすると破却しなくて加えてそれは専売である fact2: その織り目は専売である fact3: あの安定同位体は予定しない fact4: その織り目は予定しない ; $hypothesis$ = その織り目は破却しない一方でそれは専売だ ; $proof$ = 
fact1 & fact4 -> hypothesis; __PROVED__
事実1: もしその織り目が予定しないとすると破却しなくて加えてそれは専売である
事実2: その織り目は専売である
事実3: あの安定同位体は予定しない
事実4: その織り目は予定しない

仮説: その織り目は破却しない一方でそれは専売だ
1. 事実1と事実4から、仮説が導かれる

よって、仮説が証明されました。