このヤクは日常会話でない
fact1: 「この省城は分枝しない一方で確立出来る」ということは嘘だ fact2: もしも「この省城は分枝しない一方で確立出来る」ということは誤っているならばあのヤクは日常会話でない
$facts$ = fact1: 「この省城は分枝しない一方で確立出来る」ということは嘘だ fact2: もしも「この省城は分枝しない一方で確立出来る」ということは誤っているならばあのヤクは日常会話でない ; $hypothesis$ = このヤクは日常会話でない ; $proof$ = 
事実1: 「この省城は分枝しない一方で確立出来る」ということは嘘だ
事実2: もしも「この省城は分枝しない一方で確立出来る」ということは誤っているならばあのヤクは日常会話でない

仮説: このヤクは日常会話でない