その規模・能力は議決権制限株式でない
fact1: もしその規模・能力が障壁層であるということはないならばこの洗面具は障壁層である fact2: 「その規模・能力が障壁層ならその規模・能力は議決権制限株式だ」ということは事実だ fact3: その規模・能力は早退するし障壁層である
fact3 -> int1: その規模・能力は障壁層だ; int1 & fact2 -> hypothesis;
この洗面具は障壁層である
$facts$ = fact1: もしその規模・能力が障壁層であるということはないならばこの洗面具は障壁層である fact2: 「その規模・能力が障壁層ならその規模・能力は議決権制限株式だ」ということは事実だ fact3: その規模・能力は早退するし障壁層である ; $hypothesis$ = その規模・能力は議決権制限株式でない ; $proof$ = 
fact3 -> int1: その規模・能力は障壁層だ; int1 & fact2 -> hypothesis; __DISPROVED__
事実1: もしその規模・能力が障壁層であるということはないならばこの洗面具は障壁層である
事実2: 「その規模・能力が障壁層ならその規模・能力は議決権制限株式だ」ということは事実だ
事実3: その規模・能力は早退するし障壁層である

仮説: その規模・能力は議決権制限株式でない
1. 事実3から、推論1: "その規模・能力は障壁層だ"が導かれる
2. 推論1と事実2から、仮説が否定される

よって、仮説が否定されました。