∀A A⇒B
　を否定したければ、Bでない反例を1つ挙げるだけでOK。
　
　トンデモ科学の前にBでない反例を1つ挙げるだけの簡単な仕事
　だよ。
　科学や数学をやる前に、論理学、特に記号論理学での命題の
　証明法については、基礎知識としてあるべき。
　膨大な科学理論の前提を、間違って使うことを防がないとね。