この大聖は思考様式である
fact1: もしもこの大聖は友好関係でないがしかし担保物権だとすると思考様式である fact2: この大聖は友好関係でない一方で担保物権だ
$facts$ = fact1: もしもこの大聖は友好関係でないがしかし担保物権だとすると思考様式である fact2: この大聖は友好関係でない一方で担保物権だ ; $hypothesis$ = この大聖は思考様式である ; $proof$ = 
事実1: もしもこの大聖は友好関係でないがしかし担保物権だとすると思考様式である
事実2: この大聖は友好関係でない一方で担保物権だ

仮説: この大聖は思考様式である