その無量光院跡は精通するということはない
fact1: そのパターン毎は精通する fact2: その無量光院跡は精通する
$facts$ = fact1: そのパターン毎は精通する fact2: その無量光院跡は精通する ; $hypothesis$ = その無量光院跡は精通するということはない ; $proof$ = 
事実1: そのパターン毎は精通する
事実2: その無量光院跡は精通する

仮説: その無量光院跡は精通するということはない