「あの牛蛙は男性ホルモンでないかまたは独占販売しないかあるいは両方ともだ」ということは確かでない
fact1: 計算手順はある fact2: もし仮に「計算手順な」物があるならばあの牛蛙は男性ホルモンであるということはないかそれは独占販売しない
$facts$ = fact1: 計算手順はある fact2: もし仮に「計算手順な」物があるならばあの牛蛙は男性ホルモンであるということはないかそれは独占販売しない ; $hypothesis$ = 「あの牛蛙は男性ホルモンでないかまたは独占販売しないかあるいは両方ともだ」ということは確かでない ; $proof$ = 
事実1: 計算手順はある
事実2: もし仮に「計算手順な」物があるならばあの牛蛙は男性ホルモンであるということはないかそれは独占販売しない

仮説: 「あの牛蛙は男性ホルモンでないかまたは独占販売しないかあるいは両方ともだ」ということは確かでない