その従来型ＥＤＩは娶れる
fact1: 「法一般であるししかも不明点である」ものはある fact2: もし仮に「法一般だしかつ不明点な」物があるとすればその従来型ＥＤＩは娶れない
$facts$ = fact1: 「法一般であるししかも不明点である」ものはある fact2: もし仮に「法一般だしかつ不明点な」物があるとすればその従来型ＥＤＩは娶れない ; $hypothesis$ = その従来型ＥＤＩは娶れる ; $proof$ = 
事実1: 「法一般であるししかも不明点である」ものはある
事実2: もし仮に「法一般だしかつ不明点な」物があるとすればその従来型ＥＤＩは娶れない

仮説: その従来型ＥＤＩは娶れる