このクリックイベントプロシージャは対立候補でない
fact1: 「このクリックイベントプロシージャは選べないかまたはそれは疲労し易くないかあるいは両方だ」ということは嘘だ fact2: もし仮に「このクリックイベントプロシージャは選べないかもしくは疲労し易くないかあるいは両方である」ということは成り立たないなら「それは対立候補だということはない」ということは成り立つ
$facts$ = fact1: 「このクリックイベントプロシージャは選べないかまたはそれは疲労し易くないかあるいは両方だ」ということは嘘だ fact2: もし仮に「このクリックイベントプロシージャは選べないかもしくは疲労し易くないかあるいは両方である」ということは成り立たないなら「それは対立候補だということはない」ということは成り立つ ; $hypothesis$ = このクリックイベントプロシージャは対立候補でない ; $proof$ = 
事実1: 「このクリックイベントプロシージャは選べないかまたはそれは疲労し易くないかあるいは両方だ」ということは嘘だ
事実2: もし仮に「このクリックイベントプロシージャは選べないかもしくは疲労し易くないかあるいは両方である」ということは成り立たないなら「それは対立候補だということはない」ということは成り立つ

仮説: このクリックイベントプロシージャは対立候補でない