「もしそのカルボカチオンは推測しないとすれば「そのカルボカチオンは貫徹するかあるいは煮込むか両方である」ということは嘘だ」ということは成り立たない
fact1: もしも何かは推測しないなら「それは貫徹するか煮込むかもしくは両方である」ということは成り立たない
$facts$ = fact1: もしも何かは推測しないなら「それは貫徹するか煮込むかもしくは両方である」ということは成り立たない ; $hypothesis$ = 「もしそのカルボカチオンは推測しないとすれば「そのカルボカチオンは貫徹するかあるいは煮込むか両方である」ということは嘘だ」ということは成り立たない ; $proof$ = 
事実1: もしも何かは推測しないなら「それは貫徹するか煮込むかもしくは両方である」ということは成り立たない

仮説: 「もしそのカルボカチオンは推測しないとすれば「そのカルボカチオンは貫徹するかあるいは煮込むか両方である」ということは嘘だ」ということは成り立たない