もし仮にこの米以外が真新しいかあるいはロックしないとしたらそれは省略する
fact1: なにかは真新しいかあるいはロックしないかまたは両方であるならば「それは省略する」ということは本当である
$facts$ = fact1: なにかは真新しいかあるいはロックしないかまたは両方であるならば「それは省略する」ということは本当である ; $hypothesis$ = もし仮にこの米以外が真新しいかあるいはロックしないとしたらそれは省略する ; $proof$ = 
事実1: なにかは真新しいかあるいはロックしないかまたは両方であるならば「それは省略する」ということは本当である

仮説: もし仮にこの米以外が真新しいかあるいはロックしないとしたらそれは省略する