その多数人はホモでない
fact1: 「「象徴化する」ということは事実と異なる」ものはある fact2: 仮に「象徴化しない」物があればその多数人はホモでない fact3: この薄紙はホモでない fact4: 「なにがしかの物は象徴化する」ということは確かである
fact1 & fact2 -> hypothesis;
fact1 & fact2 -> hypothesis;
$facts$ = fact1: 「「象徴化する」ということは事実と異なる」ものはある fact2: 仮に「象徴化しない」物があればその多数人はホモでない fact3: この薄紙はホモでない fact4: 「なにがしかの物は象徴化する」ということは確かである ; $hypothesis$ = その多数人はホモでない ; $proof$ = 
fact1 & fact2 -> hypothesis; __PROVED__
事実1: 「「象徴化する」ということは事実と異なる」ものはある
事実2: 仮に「象徴化しない」物があればその多数人はホモでない
事実3: この薄紙はホモでない
事実4: 「なにがしかの物は象徴化する」ということは確かである

仮説: その多数人はホモでない
1. 事実1と事実2から、仮説が導かれる

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