あの第二海堡は階層構造であるということはない
fact1: 仮にこの．が多項式でないしその上リレーしないとすればあの第二海堡は階層構造でない fact2: この．は多項式でないしリレーしない
$facts$ = fact1: 仮にこの．が多項式でないしその上リレーしないとすればあの第二海堡は階層構造でない fact2: この．は多項式でないしリレーしない ; $hypothesis$ = あの第二海堡は階層構造であるということはない ; $proof$ = 
事実1: 仮にこの．が多項式でないしその上リレーしないとすればあの第二海堡は階層構造でない
事実2: この．は多項式でないしリレーしない

仮説: あの第二海堡は階層構造であるということはない