その只目は偉振らない
fact1: そのミンクは長浜層でない fact2: もし仮に「「長浜層でない一方で弥勒経典な」物はある」ということは成り立つとするとその只目は偉振るということはない fact3: そのミンクは長浜層だということはないけど弥勒経典だ
fact3 -> int1: 何らかの物は長浜層だということはない一方で弥勒経典だ; int1 & fact2 -> hypothesis;
$facts$ = fact1: そのミンクは長浜層でない fact2: もし仮に「「長浜層でない一方で弥勒経典な」物はある」ということは成り立つとするとその只目は偉振るということはない fact3: そのミンクは長浜層だということはないけど弥勒経典だ ; $hypothesis$ = その只目は偉振らない ; $proof$ = 
fact3 -> int1: 何らかの物は長浜層だということはない一方で弥勒経典だ; int1 & fact2 -> hypothesis; __PROVED__
事実1: そのミンクは長浜層でない
事実2: もし仮に「「長浜層でない一方で弥勒経典な」物はある」ということは成り立つとするとその只目は偉振るということはない
事実3: そのミンクは長浜層だということはないけど弥勒経典だ

仮説: その只目は偉振らない
1. 事実3から、推論1: "何らかの物は長浜層だということはない一方で弥勒経典だ"が導かれる
2. 推論1と事実2から、仮説が導かれる

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