その河本フォーミュラは途絶えらない
fact1: 「この発射筒はどぎつい」ということは成り立つ fact2: この発射筒がどぎついとするとその河本フォーミュラは途絶える
$facts$ = fact1: 「この発射筒はどぎつい」ということは成り立つ fact2: この発射筒がどぎついとするとその河本フォーミュラは途絶える ; $hypothesis$ = その河本フォーミュラは途絶えらない ; $proof$ = 
事実1: 「この発射筒はどぎつい」ということは成り立つ
事実2: この発射筒がどぎついとするとその河本フォーミュラは途絶える

仮説: その河本フォーミュラは途絶えらない