「仮に緩くてまた昭和初期だとしたらストラクタプル素だということはない」物はある
fact1: もしもその一法が緩いしその上昭和初期であるならば「それはストラクタプル素でない」ということは確かである
$facts$ = fact1: もしもその一法が緩いしその上昭和初期であるならば「それはストラクタプル素でない」ということは確かである ; $hypothesis$ = 「仮に緩くてまた昭和初期だとしたらストラクタプル素だということはない」物はある ; $proof$ = 
事実1: もしもその一法が緩いしその上昭和初期であるならば「それはストラクタプル素でない」ということは確かである

仮説: 「仮に緩くてまた昭和初期だとしたらストラクタプル素だということはない」物はある