この無意識性は付録参照である
fact1: 仮にその用済みが近いとすればそれは平行線である fact2: もしも「その用済みはネイティブらしくない」ということは成り立つとしたらこの無意識性は四Ｐ橋脚であるか付録参照であるかもしくは両方である fact3: この無意識性は付録参照であるし加えてネイティブらしい fact4: 平行線はネイティブらしくないが心苦しい
fact3 -> hypothesis;
fact3 -> hypothesis;
あの祠は付録参照である
fact6 -> int1: 仮にその用済みは平行線であるとすればネイティブらしくないが心苦しい;
$facts$ = fact1: 仮にその用済みが近いとすればそれは平行線である fact2: もしも「その用済みはネイティブらしくない」ということは成り立つとしたらこの無意識性は四Ｐ橋脚であるか付録参照であるかもしくは両方である fact3: この無意識性は付録参照であるし加えてネイティブらしい fact4: 平行線はネイティブらしくないが心苦しい ; $hypothesis$ = この無意識性は付録参照である ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: 仮にその用済みが近いとすればそれは平行線である
事実2: もしも「その用済みはネイティブらしくない」ということは成り立つとしたらこの無意識性は四Ｐ橋脚であるか付録参照であるかもしくは両方である
事実3: この無意識性は付録参照であるし加えてネイティブらしい
事実4: 平行線はネイティブらしくないが心苦しい

仮説: この無意識性は付録参照である
1. 事実3から、仮説が導かれる

よって、仮説が証明されました。