「「その十五例は翼端でない一方でトグル・スイッチだ」ということは正しくないとすればその十五例はアリランでない」ということは誤っている
fact1: もし仮に「何らかの物は翼端でないがそれはトグル・スイッチである」ということは成り立たないとすればそれはアリランでない
$facts$ = fact1: もし仮に「何らかの物は翼端でないがそれはトグル・スイッチである」ということは成り立たないとすればそれはアリランでない ; $hypothesis$ = 「「その十五例は翼端でない一方でトグル・スイッチだ」ということは正しくないとすればその十五例はアリランでない」ということは誤っている ; $proof$ = 
事実1: もし仮に「何らかの物は翼端でないがそれはトグル・スイッチである」ということは成り立たないとすればそれはアリランでない

仮説: 「「その十五例は翼端でない一方でトグル・スイッチだ」ということは正しくないとすればその十五例はアリランでない」ということは誤っている