あの相互乗り入れは蜂起しない
fact1: 「もしも「あの相互乗り入れはカリウムだが分泌しない」ということは間違っているならばあの相互乗り入れは蜂起しない」ということは成り立つ fact2: 「「あの相互乗り入れはカリウムだけど分泌しない」ということは本当である」ということは事実と異なる
$facts$ = fact1: 「もしも「あの相互乗り入れはカリウムだが分泌しない」ということは間違っているならばあの相互乗り入れは蜂起しない」ということは成り立つ fact2: 「「あの相互乗り入れはカリウムだけど分泌しない」ということは本当である」ということは事実と異なる ; $hypothesis$ = あの相互乗り入れは蜂起しない ; $proof$ = 
事実1: 「もしも「あの相互乗り入れはカリウムだが分泌しない」ということは間違っているならばあの相互乗り入れは蜂起しない」ということは成り立つ
事実2: 「「あの相互乗り入れはカリウムだけど分泌しない」ということは本当である」ということは事実と異なる

仮説: あの相互乗り入れは蜂起しない