もしも「そのＶＢＩは鈍くないかあるいは研削でないかあるいはどちらもである」ということは間違っているとすれば在学でない
fact1: 「あるものは鈍くないかまたは研削でない」ということは成り立たないとしたら在学でない
$facts$ = fact1: 「あるものは鈍くないかまたは研削でない」ということは成り立たないとしたら在学でない ; $hypothesis$ = もしも「そのＶＢＩは鈍くないかあるいは研削でないかあるいはどちらもである」ということは間違っているとすれば在学でない ; $proof$ = 
事実1: 「あるものは鈍くないかまたは研削でない」ということは成り立たないとしたら在学でない

仮説: もしも「そのＶＢＩは鈍くないかあるいは研削でないかあるいはどちらもである」ということは間違っているとすれば在学でない