この領邦国家は島民達でない
fact1: 「このＨＥＳは指定医である」ということは嘘でない fact2: もしもこのＨＥＳが指定医であるとするとこの領邦国家は島民達でない
$facts$ = fact1: 「このＨＥＳは指定医である」ということは嘘でない fact2: もしもこのＨＥＳが指定医であるとするとこの領邦国家は島民達でない ; $hypothesis$ = この領邦国家は島民達でない ; $proof$ = 
事実1: 「このＨＥＳは指定医である」ということは嘘でない
事実2: もしもこのＨＥＳが指定医であるとするとこの領邦国家は島民達でない

仮説: この領邦国家は島民達でない