この天安門広場は結審しない
fact1: 仮にこの天安門広場が調べ上げるなら結審する fact2: この天安門広場は調べ上げる
$facts$ = fact1: 仮にこの天安門広場が調べ上げるなら結審する fact2: この天安門広場は調べ上げる ; $hypothesis$ = この天安門広場は結審しない ; $proof$ = 
事実1: 仮にこの天安門広場が調べ上げるなら結審する
事実2: この天安門広場は調べ上げる

仮説: この天安門広場は結審しない