この鉄筋コンクリートは内遺跡だ
fact1: この鉄筋コンクリートは分かり辛いかまたは販売する fact2: もしもこの鉄筋コンクリートが分かり辛いかまたは販売するかまたは両方ともなら「それは内遺跡でない」ということは事実と異ならない
$facts$ = fact1: この鉄筋コンクリートは分かり辛いかまたは販売する fact2: もしもこの鉄筋コンクリートが分かり辛いかまたは販売するかまたは両方ともなら「それは内遺跡でない」ということは事実と異ならない ; $hypothesis$ = この鉄筋コンクリートは内遺跡だ ; $proof$ = 
事実1: この鉄筋コンクリートは分かり辛いかまたは販売する
事実2: もしもこの鉄筋コンクリートが分かり辛いかまたは販売するかまたは両方ともなら「それは内遺跡でない」ということは事実と異ならない

仮説: この鉄筋コンクリートは内遺跡だ